%0 Conference Paper %1 conf/pstv/HolzmannGP92 %A Holzmann, Gerard J. %A Godefroid, Patrice %A Pirottin, Didier %B PSTV %D 1992 %E Jr., Richard J. Linn %E Uyar, M. Ümit %I North-Holland %K dblp %P 349-363 %T Coverage Preserving Reduction Strategies for Reachability Analysis. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1992.html#HolzmannGP92 %V C-8 %@ 0-444-89874-3

@inproceedings{conf/pstv/HolzmannGP92, added-at = {2002-01-03T00:00:00.000+0100}, author = {Holzmann, Gerard J. and Godefroid, Patrice and Pirottin, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2a1c33fca8ca61a98ea96bb3c5f242ff5/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1992}, date = {2002-01-03}, description = {dblp}, editor = {Jr., Richard J. Linn and Uyar, M. Ümit}, interhash = {195de0fdc810e8902793d5e3d1aa442e}, intrahash = {a1c33fca8ca61a98ea96bb3c5f242ff5}, isbn = {0-444-89874-3}, keywords = {dblp}, pages = {349-363}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Coverage Preserving Reduction Strategies for Reachability Analysis.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1992.html#HolzmannGP92}, volume = {C-8}, year = 1992 }