|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours |
Fischer, Nick |
2019 |
102 | C |
p. 64-102 |
artikel |
|
| 2 | Cryptomorphic topological structures: A computational, relation-algebraic approach |
Berghammer, Rudolf |
2019 |
102 | C |
p. 17-45 |
artikel |
|
| 3 | Editorial Board |
2019 |
102 | C |
p. ii |
artikel |
||
| 4 | Sequential pattern mining for ICT risk assessment and management |
D'Andreagiovanni, Michele |
2019 |
102 | C |
p. 1-16 |
artikel |
|
| 5 | Session types and subtyping for orchestrated interactions |
Barbanera, Franco |
2019 |
102 | C |
p. 103-137 |
artikel |
|
| 6 | Stubborn versus structural reductions for Petri nets |
Bønneland, Frederik M. |
2019 |
102 | C |
p. 46-63 |
artikel |
|
| 7 | Tracking CSP computations |
Llorens, M. |
2019 |
102 | C |
p. 138-175 |
artikel |
7 gevonden resultaten