Deciding properties of regular real timed processes release_jl26vef7jvgzhhn4cb5lwrfbgi

by Uno Holmer, Kim Larsen, Wang Yi

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

1992   p443-453

Archived Files and Locations

application/pdf  572.3 kB
file_czawcnrhk5dm5nd25xti2h3e7e
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   1992
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: 7477a8f7-1bc1-4b0d-b0b8-549587a42ba1
API URL: JSON