Transactions on Petri Nets and Other Models of Concurrency III
| ISBN: | 9783642048548 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 275 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 11.11.2009 |
| Schlagworte: | MANET Simulation calculus coloured petri nets design formal language formal models mobile petri nets model-checking modeling |
Anmelden