Formal timing analysis of OMT designs using LIMITS
autor
vastutusandmed
L.Motus and T.Naks
allikas
Computer systems science and engineering
ajakirja aastakäik number kuu
Vol. 13
ilmumisaasta
leheküljed
3, p. 161-170 : ill
märksõna
ISSN
0267-6192
märkused
Bibliogr.: 12 ref
keel
inglise
Mõtus, L., Näks, T. Formal timing analysis of OMT designs using LIMITS // Computer systems science and engineering (1998) Vol. 13, 3, p. 161-170 : ill.