Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Hoboken, N.J. :
Wiley-Interscience,
c2008.
|
| Schriftenreihe: | Wiley series on parallel and distributed computing.
|
| Schlagworte: | |
| Online-Zugang: | https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/177497 Im OPAC anzeigen |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
Schreiben Sie den ersten Kommentar!