|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | CCS: It’s not fair! |
Glabbeek, Rob J. van |
2015 |
52 | 2-3 |
p. 175-205 |
artikel |
|
| 2 | Modal algebra and Petri nets |
Dang, Han-Hing |
2015 |
52 | 2-3 |
p. 109-132 |
artikel |
|
| 3 | Moving from interface theories to assembly theories |
Hennicker, Rolf |
2015 |
52 | 2-3 |
p. 235-268 |
artikel |
|
| 4 | Observable liveness of Petri nets |
Desel, Jörg |
2015 |
52 | 2-3 |
p. 153-174 |
artikel |
|
| 5 | On constructibility and unconstructibility of LTS operators from other LTS operators |
Valmari, Antti |
2015 |
52 | 2-3 |
p. 207-234 |
artikel |
|
| 6 | Refinement checking on parametric modal transition systems |
Beneš, Nikola |
2015 |
52 | 2-3 |
p. 269-297 |
artikel |
|
| 7 | Special issue on “Comprehending asynchrony in specification and analysis” dedicated to Walter Vogler on the occasion of his 60th birthday |
Lüttgen, Gerald |
2015 |
52 | 2-3 |
p. 107-108 |
artikel |
|
| 8 | State space axioms for T-systems |
Best, Eike |
2015 |
52 | 2-3 |
p. 133-152 |
artikel |
8 gevonden resultaten