%0 Conference Paper %1 conf/pdpta/BornotHL00 %A Bornot, Sébastien %A Huuck, Ralf %A Lukoschus, Ben %B PDPTA %D 2000 %E Arabnia, Hamid R. %I CSREA Press %K dblp %T Verification of Sequential Function Charts Using SMV. %U http://dblp.uni-trier.de/db/conf/pdpta/pdpta2000.html#BornotHL00

@inproceedings{conf/pdpta/BornotHL00, added-at = {2003-12-05T00:00:00.000+0100}, author = {Bornot, Sébastien and Huuck, Ralf and Lukoschus, Ben}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f05e12adaecbc79033a696e1454eca7b/dblp}, booktitle = {PDPTA}, crossref = {conf/pdpta/2000}, editor = {Arabnia, Hamid R.}, interhash = {d75e981d75d0acd664e00112e4161260}, intrahash = {f05e12adaecbc79033a696e1454eca7b}, keywords = {dblp}, publisher = {CSREA Press}, timestamp = {2016-02-02T12:39:06.000+0100}, title = {Verification of Sequential Function Charts Using SMV.}, url = {http://dblp.uni-trier.de/db/conf/pdpta/pdpta2000.html#BornotHL00}, year = 2000 }