|
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 | A Net-based Approach to Web Services Publication and Replaceability |
Bonchi, Filippo |
2009 |
94 | 3-4 |
p. 305-330 |
artikel |
|
| 2 | A Practical Approach to Verification of Mobile Systems Using Net Unfoldings |
Meyer, Roland |
2009 |
94 | 3-4 |
p. 439-471 |
artikel |
|
| 3 | Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation |
Hamez, Alexandre |
2009 |
94 | 3-4 |
p. 413-437 |
artikel |
|
| 4 | Fundamenta Informaticae (2009) Petri Nets 2008 |
2009 |
94 | 3-4 |
p. i-ii |
artikel |
||
| 5 | Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario |
Kristensen, Lars M. |
2009 |
94 | 3-4 |
p. 361-386 |
artikel |
|
| 6 | Process Discovery using Integer Linear Programming |
van derWerf, J.M.E.M. |
2009 |
94 | 3-4 |
p. 387-412 |
artikel |
|
| 7 | Synthesis of Nets with Step Firing Policies |
Darondeau, Philippe |
2009 |
94 | 3-4 |
p. 275-303 |
artikel |
|
| 8 | Unfolding Semantics of Petri Nets Based on Token Flows |
Bergenthum, Robin |
2009 |
94 | 3-4 |
p. 331-360 |
artikel |
8 gevonden resultaten