| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| PAFESD: Process Algebras for Electronic System Design: Process Algebraic Specification and Analysis of Electronic System Design | 978-3-8383-6383-7 (3-8383-6383-3) | 2010 | Ka Lok Man · Danny Hughes |