TalTech publikatsioonid
pealdis Mõtus, L., Näks, T.
maakood gb
autor Mõtus, Leo
Näks, Tõnu
pealkiri Formal timing analysis of OMT designs using LIMITS
vastutusandmed L.Motus and T.Naks
allikas Computer systems science and engineering
ajakirja aastakäik number kuu Vol. 13
ilmumisaasta 1998
leheküljed 3, p. 161-170 : ill
ISSN 0267-6192
märkused Bibliogr.: 12 ref