History
1
an:70611964
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Model checking in practice: an analysis of the access.bus protocol using SPIN (English)
FME, 465-478 (1996).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!