History
1
an:50202761
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Issues in using model checkers for test case generation (English)
Journal of Systems and Software 82, No. 9, 1403-1418 (2009).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!