Untameable timed automata

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit

Research output: Contribution to journal › Journal article › Research › peer-review

53 Citations (Scopus)

Abstract

Udgivelsesdato: June

Original language	English
Journal	Theoretical Computer Science
Volume	321
Issue number	1
Pages (from-to)	291-345
Number of pages	54
ISSN	0304-3975
Publication status	Published - 2003

@article{416c5ed035a811daaec0000ea68e967b,

title = "Untameable timed automata",

abstract = "Udgivelsesdato: June",

author = "Patricia Bouyer and Catherine Dufourd and Emmanuel Fleury and Antoine Petit",

year = "2003",

language = "English",

volume = "321",

pages = "291--345",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1",

}