%0 Conference Paper %1 Huuck2008 %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 model static goanna analysis checking %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{Huuck2008, added-at = {2012-04-07T10:41:53.000+0200}, author = {Huuck, Ralf and Fehnker, Ansgar and Seefried, Sean and Brauer, Jörg}, biburl = {https://www.bibsonomy.org/bibtex/2fc5dfdc9758797ae16948dc75452f248/junkerm}, booktitle = {ATVA}, crossref = {conf/atva/2008}, description = {dblp}, editor = {Cha, Sung-Deok and Choi, Jin-Young and Kim, Moonzoo and Lee, Insup and Viswanathan, Mahesh}, ee = {http://dx.doi.org/10.1007/978-3-540-88387-6_17}, groups = {public}, interhash = {75ac39b3457f906daf850f23b6257682}, intrahash = {fc5dfdc9758797ae16948dc75452f248}, isbn = {978-3-540-88386-9}, keywords = {model static goanna analysis checking}, pages = {216-221}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2013-11-05T11:05:41.000+0100}, title = {Goanna: Syntactic Software Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2008.html#HuuckFSB08}, username = {junkerm}, volume = 5311, year = 2008 }