Formal timing analysis of OMT designs using LIMITS
author
statement of authorship
L.Motus and T.Naks
source
Computer systems science and engineering
journal volume number month
Vol. 13
year of publication
pages
3, p. 161-170 : ill
subject term
ISSN
0267-6192
notes
Bibliogr.: 12 ref
language
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.