Formal timing analysis of OMT designs using LIMITS
Mõtus, Leo
;
Näks, Tõnu
Computer systems science and engineering
1998
/
3, p. 161-170 : ill