%0 Conference Paper %1 conf/atva/HuuckFSB08 %A Huuck, Ralf %A Fehnker, Ansgar %A Seefried, Sean %A Brauer, Jörg %B ATVA %D 2008 %E Cha, Sung Deok %E Choi, Jin-Young %E Kim, Moonzoo %E Lee, Insup %E Viswanathan, Mahesh %I Springer %K %P 216-221 %T Goanna: Syntactic Software Model Checking. %U http://dblp.uni-trier.de/db/conf/atva/atva2008.html#HuuckFSB08 %V 5311 %@ 978-3-540-88386-9

@inproceedings{conf/atva/HuuckFSB08, added-at = {2023-12-13T01:44:01.000+0100}, author = {Huuck, Ralf and Fehnker, Ansgar and Seefried, Sean and Brauer, Jörg}, biburl = {https://www.bibsonomy.org/bibtex/27cbb3a3891fc9d1ea16b35c1d6f539d6/admin}, booktitle = {ATVA}, crossref = {conf/atva/2008}, editor = {Cha, Sung Deok and Choi, Jin-Young and Kim, Moonzoo and Lee, Insup and Viswanathan, Mahesh}, ee = {https://doi.org/10.1007/978-3-540-88387-6_17}, interhash = {75ac39b3457f906daf850f23b6257682}, intrahash = {7cbb3a3891fc9d1ea16b35c1d6f539d6}, isbn = {978-3-540-88386-9}, keywords = {}, pages = {216-221}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:44:01.000+0100}, title = {Goanna: Syntactic Software Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2008.html#HuuckFSB08}, volume = 5311, year = 2008 }