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
subject term
matemaatiline analüüs
spetsifikatsioonid
automaaditeooria
language
inglise