Hsieh, Harry
Synchronous Equivalence
- London: Kluwer Academic Publishers, 2000
- 136 p.; Index.: 24 cm.
079237262X hbk
Communication Analysis
Computer Science
Embedded Computer Systems
Formal Methods for Computer Science
Mathematical Models
004.16 / HSI