Verification of systems and circuits using LOTOS, Petri Nets, and CCS
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Boek |
| Taal: | English |
| Gepubliceerd in: |
Hoboken, N.J.
Wiley-Interscience
c2008.
|
| Reeks: | Wiley series on parallel and distributed computing
|
| Onderwerpen: |