%0 Journal Article %1 journals/sttt/EdelkampLL04a %A Edelkamp, Stefan %A Leue, Stefan %A Lluch-Lafuente, Alberto %D 2004 %J Int. J. Softw. Tools Technol. Transf. %K %N 4 %P 277-301 %T Partial-order reduction and trail improvement in directed model checking. %U http://dblp.uni-trier.de/db/journals/sttt/sttt6.html#EdelkampLL04a %V 6

@article{journals/sttt/EdelkampLL04a, added-at = {2023-12-14T16:43:45.000+0100}, author = {Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/2714d9081ea96c72a6c293f08266efcd9/admin}, ee = {https://www.wikidata.org/entity/Q56501959}, interhash = {fc50cbba521a2a41a850c572acd12e37}, intrahash = {714d9081ea96c72a6c293f08266efcd9}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 4, pages = {277-301}, timestamp = {2023-12-14T16:43:45.000+0100}, title = {Partial-order reduction and trail improvement in directed model checking.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt6.html#EdelkampLL04a}, volume = 6, year = 2004 }