Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Hoboken, N.J. :
Wiley-Interscience,
c2008.
|
| Series: | Wiley series on parallel and distributed computing.
|
| Subjects: | |
| Online Access: | https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/177497 View in OPAC |
| Tags: |
No Tags, Be the first to tag this record!
|