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
|
| 主題: |