%0 Conference Paper %1 conf/smc/CanetCLPS00 %A Canet, Géraud %A Couffin, Sandrine %A Lesage, Jean-Jacques %A Petit, Antoine %A Schnoebelen, Philippe %B SMC %D 2000 %I IEEE %K dblp %P 2449-2454 %T Towards the automatic verification of PLC programs written in Instruction List. %U http://dblp.uni-trier.de/db/conf/smc/smc2000.html#CanetCLPS00 %@ 0-7803-6583-6

@inproceedings{conf/smc/CanetCLPS00, added-at = {2019-08-02T00:00:00.000+0200}, author = {Canet, Géraud and Couffin, Sandrine and Lesage, Jean-Jacques and Petit, Antoine and Schnoebelen, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/2efd23e581dc3d8c974a65ddcedef766d/dblp}, booktitle = {SMC}, crossref = {conf/smc/2000}, ee = {https://doi.org/10.1109/ICSMC.2000.884359}, interhash = {e279aaf162c61552e998af9f1c66a769}, intrahash = {efd23e581dc3d8c974a65ddcedef766d}, isbn = {0-7803-6583-6}, keywords = {dblp}, pages = {2449-2454}, publisher = {IEEE}, timestamp = {2019-10-17T22:33:53.000+0200}, title = {Towards the automatic verification of PLC programs written in Instruction List.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2000.html#CanetCLPS00}, year = 2000 }