%0 Conference Paper %1 conf/atva/PennaMIT05 %A Penna, Giuseppe Della %A Melatti, Igor %A Intrigila, Benedetto %A Tronci, Enrico %B ATVA %D 2005 %E Peled, Doron A. %E Tsay, Yih-Kuen %I Springer %K dblp %P 54-68 %T Exploiting Hub States in Automatic Verification. %U http://dblp.uni-trier.de/db/conf/atva/atva2005.html#PennaMIT05 %V 3707 %@ 3-540-29209-8

@inproceedings{conf/atva/PennaMIT05, added-at = {2017-05-21T00:00:00.000+0200}, author = {Penna, Giuseppe Della and Melatti, Igor and Intrigila, Benedetto and Tronci, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/2161d13e79fb33491434f395006d725a4/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2005}, editor = {Peled, Doron A. and Tsay, Yih-Kuen}, ee = {https://doi.org/10.1007/11562948_7}, interhash = {3c2cd55c4ce31f3ca18301702e7fbf15}, intrahash = {161d13e79fb33491434f395006d725a4}, isbn = {3-540-29209-8}, keywords = {dblp}, pages = {54-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:44.000+0200}, title = {Exploiting Hub States in Automatic Verification.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2005.html#PennaMIT05}, volume = 3707, year = 2005 }