Loading…
Forward Analysis of Updatable Timed Automata
Saved in:
| Published in: | Formal methods in system design 2004-05, Vol.24 (3), p.281-320 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Citations: | Items that cite this one |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | |
|---|---|
| ISSN: | 0925-9856 |
| DOI: | 10.1023/B:FORM.0000026093.21513.31 |