Robust Undecidability of Timed and Hybrid Systems release_ubb25gf5ozbbrpdprp3jarrpbu

by Thomas A. Henzinger, Jean-François Raskin

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

2000   p145-159

Archived Files and Locations

application/pdf  299.9 kB
file_bonjw6k7kjfyzc2zbyh6e2vyue
mtc.epfl.ch (web)
web.archive.org (webarchive)
application/pdf  368.9 kB
file_p4dtlbechzdedihmv4cqlfokny
web.archive.org (webarchive)
digitalassets.lib.berkeley.edu (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2000
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: 6aee5b6e-12a3-4213-a1e4-429a06999aeb
API URL: JSON