Untameable timed automata

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

53 Citationer (Scopus)

Abstract

Udgivelsesdato: June

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	321
Udgave nummer	1
Sider (fra-til)	291-345
Antal sider	54
ISSN	0304-3975
Status	Udgivet - 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",

}