|
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 | A Sweep-Line Method for Büchi Automata-based Model Checking |
Evangelista, Sami |
2014 |
131 | 1 |
p. 27-53 |
artikel |
|
| 2 | Complexity of the Soundness Problem of Workflow Nets |
Liu, GuanJun |
2014 |
131 | 1 |
p. 81-101 |
artikel |
|
| 3 | Modelling Search Engines Performance Using Coloured Petri Nets |
Gil-Costa, Veronica |
2014 |
131 | 1 |
p. 139-166 |
artikel |
|
| 4 | Old and New Algorithms for Minimal Coverability Sets |
Valmari, Antti |
2014 |
131 | 1 |
p. 1-25 |
artikel |
|
| 5 | Preface |
Haddad, Serge |
2014 |
131 | 1 |
p. v-vi |
artikel |
|
| 6 | Process Discovery and Conformance Checking Using Passages |
van der Aalst, W.M.P. |
2014 |
131 | 1 |
p. 103-138 |
artikel |
|
| 7 | Safety and Soundness for Priced Resource-Constrained Workflow Nets |
Martos-Salgado, María |
2014 |
131 | 1 |
p. 55-80 |
artikel |
7 gevonden resultaten