Distributed Model Checking: From Abstract Algorithms to Concrete Implementations release_bzs56ogzpzh5lmwoldojnigf6a

by Christophe Joubert

Published in Electronical Notes in Theoretical Computer Science by Elsevier BV.

2003   Volume 89, p114-127

Archived Files and Locations

application/pdf  221.2 kB
file_cmxg7bqsavgavkiyvbwnr3zzby
web.archive.org (webarchive)
core.ac.uk (aggregator)
application/pdf  193.7 kB
file_drwp32p3xzdjnb533g3w6rzzl4
www.elsevier.com:80 (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2003
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1571-0661
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 8f093dec-26cd-4d21-8566-e2ec4b3bd3aa
API URL: JSON