Updatable timed automata

Patricia Bouyer, C. Dufourd, Emmanuel Fleury, A. Petit

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

73 Citationer (Scopus)

Abstract

Udgivelsesdato: AUG 16

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	321
Udgave nummer	2-3
Sider (fra-til)	291-345
Antal sider	55
ISSN	0304-3975
Status	Udgivet - 2004

@article{9d4aee3018d011dca5a4000ea68e967b,

title = "Updatable timed automata",

abstract = "Udgivelsesdato: AUG 16",

author = "Patricia Bouyer and C. Dufourd and Emmanuel Fleury and A. Petit",

year = "2004",

language = "English",

volume = "321",

pages = "291--345",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "2-3",

}