|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A process calculus BigrTiMo of mobile systemsand its formal semantics |
Xie, Wanling |
|
33 | 2 |
p. 207-249 |
artikel |
|
| 2 | Model-based Safety Assessment of a Triple Modular Generator with xSAP |
Bozzano, Marco |
|
33 | 2 |
p. 251-295 |
artikel |
|
| 3 | Modeling and analysis of communicating systems |
Rossi, Matteo |
|
33 | 2 |
p. 297-298 |
artikel |
|
| 4 | On the Interactive Power of Higher-order Processes Extended with Parameterization |
Zhang, Wenbo |
|
33 | 2 |
p. 151-183 |
artikel |
|
| 5 | UNITY and Büchi automata |
Hesselink, Wim H. |
|
33 | 2 |
p. 185-205 |
artikel |
5 gevonden resultaten