print

Implementing duration calculus specifications by timed automata

author
Kääramees, Marko
statement of authorship
M. Kääramees
source
Abstracts of NWPT'96, Oslo 1996
location of publication
[S.l.]
year of publication
1996
pages
p. 10
language
inglise
Kääramees, M. Implementing duration calculus specifications by timed automata // Abstracts of NWPT'96, Oslo 1996. [S.l.], 1996. p. 10.