Some graph problems in timing analysis of the specification
autor
vastutusandmed
J.Tekko
allikas
Proceedings of the 5th Nordic Workshop on Program Correctness, 1994
ilmumiskoht
[S.l.]
ilmumisaasta
leheküljed
p. 184-193
märkused
(Reports on CS and Math. / Abo Akademi ; nr. 18)
keel
inglise
Tekko, J.* Some graph problems in timing analysis of the specification // Proceedings of the 5th Nordic Workshop on Program Correctness, 1994. [S.l.], 1994. p. 184-193.