%0 Journal Article %1 journals/sttt/NguyenR13 %A Nguyen, Viet Yen %A Ruys, Theo C. %D 2013 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 337-362 %T Selected dynamic issues in software model checking. %U http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#NguyenR13 %V 15

@article{journals/sttt/NguyenR13, added-at = {2023-08-28T00:00:00.000+0200}, author = {Nguyen, Viet Yen and Ruys, Theo C.}, biburl = {https://www.bibsonomy.org/bibtex/21737ea53ba33288591a4dde0c6f2a111/dblp}, ee = {https://www.wikidata.org/entity/Q121602660}, interhash = {965c1003b83bdb93a3c45432cbb6ee12}, intrahash = {1737ea53ba33288591a4dde0c6f2a111}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {337-362}, timestamp = {2024-04-08T20:36:30.000+0200}, title = {Selected dynamic issues in software model checking.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#NguyenR13}, volume = 15, year = 2013 }