|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Sweep-Line Method for Büchi Automata-based Model Checking |
Evangelista, Sami |
2014 |
131 | 1 |
p. 27-53 |
article |
|
| 2 | Complexity of the Soundness Problem of Workflow Nets |
Liu, GuanJun |
2014 |
131 | 1 |
p. 81-101 |
article |
|
| 3 | Modelling Search Engines Performance Using Coloured Petri Nets |
Gil-Costa, Veronica |
2014 |
131 | 1 |
p. 139-166 |
article |
|
| 4 | Old and New Algorithms for Minimal Coverability Sets |
Valmari, Antti |
2014 |
131 | 1 |
p. 1-25 |
article |
|
| 5 | Preface |
Haddad, Serge |
2014 |
131 | 1 |
p. v-vi |
article |
|
| 6 | Process Discovery and Conformance Checking Using Passages |
van der Aalst, W.M.P. |
2014 |
131 | 1 |
p. 103-138 |
article |
|
| 7 | Safety and Soundness for Priced Resource-Constrained Workflow Nets |
Martos-Salgado, María |
2014 |
131 | 1 |
p. 55-80 |
article |
7 results found