%0 Journal Article %1 journals/sttt/VriesT00 %A de Vries, René G. %A Tretmans, Jan %D 2000 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 382-393 %T On-the-fly Conformance Testing using SPIN. %U http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#VriesT00 %V 2

@article{journals/sttt/VriesT00, added-at = {2020-04-02T00:00:00.000+0200}, author = {de Vries, René G. and Tretmans, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2beeff2f89c703c62dec2eb1745204bb8/dblp}, ee = {https://doi.org/10.1007/s100090050044}, interhash = {9c69b2ca94bb0630d8dc2f9d31b2bba2}, intrahash = {beeff2f89c703c62dec2eb1745204bb8}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {382-393}, timestamp = {2020-04-03T11:54:22.000+0200}, title = {On-the-fly Conformance Testing using SPIN.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#VriesT00}, volume = 2, year = 2000 }