History
1
an:70759996
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Refining dependencies improves partial-order verification methods (Extended abstract) (English)
CAV, 438-449 (1993).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!