Forward Analysis of Updatable Timed Automata

Saved in:
Bibliographic Details
Published inFormal methods in system design Vol. 24; no. 3; pp. 281 - 320
Main Author Bouyer, Patricia
Format Journal Article
LanguageEnglish
Published 01.05.2004
Online AccessGet full text

Cover

More Information
ISSN:0925-9856
DOI:10.1023/B:FORM.0000026093.21513.31