prindi

Implementing duration calculus specifications by timed automata

autor
Kääramees, Marko
vastutusandmed
M. Kääramees
allikas
Abstracts of NWPT'96, Oslo 1996
ilmumiskoht
[S.l.]
ilmumisaasta
1996
leheküljed
p. 10
keel
inglise
Kääramees, M. Implementing duration calculus specifications by timed automata // Abstracts of NWPT'96, Oslo 1996. [S.l.], 1996. p. 10.