%0 Conference Paper %1 journals/entcs/RobbyDHI03 %A Robby, %A Dwyer, Matthew B. %A Hatcliff, John %A Iosif, Radu %B SoftMC@CAV %D 2003 %E Cook, Byron %E Stoller, Scott D. %E Visser, Willem %I Elsevier %K dblp %N 3 %P 499-517 %T Space-Reduction Strategies for Model Checking Dynamic Software. %U http://dblp.uni-trier.de/db/conf/cav/smc2003.html#RobbyDHI03 %V 89

@inproceedings{journals/entcs/RobbyDHI03, added-at = {2022-12-08T00:00:00.000+0100}, author = {Robby and Dwyer, Matthew B. and Hatcliff, John and Iosif, Radu}, biburl = {https://www.bibsonomy.org/bibtex/2a55dc38f9a2919b236c5f071aee2c718/dblp}, booktitle = {SoftMC@CAV}, crossref = {conf/cav/2003smc}, editor = {Cook, Byron and Stoller, Scott D. and Visser, Willem}, ee = {https://doi.org/10.1016/S1571-0661(05)80009-X}, interhash = {de979eaad0476ee4eb49b9cee0f6afbf}, intrahash = {a55dc38f9a2919b236c5f071aee2c718}, keywords = {dblp}, number = 3, pages = {499-517}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T10:16:38.000+0200}, title = {Space-Reduction Strategies for Model Checking Dynamic Software.}, url = {http://dblp.uni-trier.de/db/conf/cav/smc2003.html#RobbyDHI03}, volume = 89, year = 2003 }