%0 Conference Paper %1 conf/icalp/BrunsG04 %A Bruns, Glenn %A Godefroid, Patrice %B ICALP %D 2004 %E Díaz, Josep %E Karhumäki, Juhani %E Lepistö, Arto %E Sannella, Donald %I Springer %K dblp %P 281-293 %T Model Checking with Multi-valued Logics. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2004.html#BrunsG04 %V 3142 %@ 3-540-22849-7

@inproceedings{conf/icalp/BrunsG04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bruns, Glenn and Godefroid, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/2076ead2af47e7f041e9de775337ab468/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2004}, editor = {Díaz, Josep and Karhumäki, Juhani and Lepistö, Arto and Sannella, Donald}, ee = {https://doi.org/10.1007/978-3-540-27836-8_26}, interhash = {d3a401026a3c38cf04ed5cbd9fee15aa}, intrahash = {076ead2af47e7f041e9de775337ab468}, isbn = {3-540-22849-7}, keywords = {dblp}, pages = {281-293}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:29:17.000+0200}, title = {Model Checking with Multi-valued Logics.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2004.html#BrunsG04}, volume = 3142, year = 2004 }