Model Checking Synchronous Timing Diagrams release_372tfcwoyfbt7avqt4a3uhai7a

by Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2002   p320-335

Archived Files and Locations

application/pdf  247.4 kB
file_3nkgyxozhrf4bjldzcutklx25a
ect.bell-labs.com:80 (web)
web.archive.org (webarchive)
Read Archived PDF
Archived
Type  chapter
Stage   published
Year   2002
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: b65d7206-46ce-4146-bb0a-52bd3920c69f
API URL: JSON