%0 Conference Paper %1 conf/wodes/AdiegoDTVS14 %A Adiego, Borja Fernandez %A Darvas, Dániel %A Tournier, Jean-Charles %A Viñuela, Enrique Blanco %A Suárez, Víctor M. González %B WODES %D 2014 %E Lesage, Jean-Jacques %E Faure, Jean-Marc %E Cury, José E. R. %E Lennartson, Bengt %I International Federation of Automatic Control %K dblp %P 394-399 %T Bringing Automated Model Checking to PLC Program Development - a CERN Case Study. %U http://dblp.uni-trier.de/db/conf/wodes/wodes2014.html#AdiegoDTVS14 %@ 978-3-902823-61-8

@inproceedings{conf/wodes/AdiegoDTVS14, added-at = {2014-11-26T00:00:00.000+0100}, author = {Adiego, Borja Fernandez and Darvas, Dániel and Tournier, Jean-Charles and Viñuela, Enrique Blanco and Suárez, Víctor M. González}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/213806309c0443f6983cb4bb96f9b4784/dblp}, booktitle = {WODES}, crossref = {conf/wodes/2014}, editor = {Lesage, Jean-Jacques and Faure, Jean-Marc and Cury, José E. R. and Lennartson, Bengt}, ee = {http://dx.doi.org/10.3182/20140514-3-FR-4046.00051}, interhash = {4fa4f8eb37fca36a96060a6caec785fd}, intrahash = {13806309c0443f6983cb4bb96f9b4784}, isbn = {978-3-902823-61-8}, keywords = {dblp}, pages = {394-399}, publisher = {International Federation of Automatic Control}, timestamp = {2016-02-02T12:00:33.000+0100}, title = {Bringing Automated Model Checking to PLC Program Development - a CERN Case Study.}, url = {http://dblp.uni-trier.de/db/conf/wodes/wodes2014.html#AdiegoDTVS14}, year = 2014 }