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