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