%0 Conference Paper %1 conf/etfa/LoeisYF05 %A Loeis, K. %A Younis, Mohammed Bani %A Frey, Georg %B ETFA %D 2005 %I IEEE %K dblp %T Application of symbolic and bounded model checking to the verification of logic control systems. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2005.html#LoeisYF05 %@ 0-7803-9401-1

@inproceedings{conf/etfa/LoeisYF05, added-at = {2015-08-13T00:00:00.000+0200}, author = {Loeis, K. and Younis, Mohammed Bani and Frey, Georg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2564bd7bd8f4a5aa4fe1295f29ef5e97b/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2005}, ee = {http://dx.doi.org/10.1109/ETFA.2005.1612527}, interhash = {f0bc1210b9f01e3a4a89e29b7ba824a8}, intrahash = {564bd7bd8f4a5aa4fe1295f29ef5e97b}, isbn = {0-7803-9401-1}, keywords = {dblp}, publisher = {IEEE}, timestamp = {2016-02-02T16:14:10.000+0100}, title = {Application of symbolic and bounded model checking to the verification of logic control systems.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2005.html#LoeisYF05}, year = 2005 }