Verification of systems and circuits using LOTOS, Petri Nets, and CCS
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | 圖書 |
| 語言: | English |
| 出版: |
Hoboken, N.J.
Wiley-Interscience
c2008.
|
| 叢編: | Wiley series on parallel and distributed computing
|
| 主題: |