History
1
an:05753499
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Parallel symbolic state-space exploration is difficult, but what is the alternative? (English)
Comput. Res. Repos. 2009, Article No. 0912.2785 (2009).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX URL
Valid XHTML 1.0 Transitional Valid CSS!