Verification of systems and circuits using LOTOS, Petri Nets, and CCS
| 1. autor: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Książka |
| Język: | English |
| Wydane: |
Hoboken, N.J.
Wiley-Interscience
c2008.
|
| Seria: | Wiley series on parallel and distributed computing
|
| Hasła przedmiotowe: |