|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Checking Reachability Properties for Timed Automata via SAT |
Bożena Woźna |
2003 |
55 | 2 |
p. 223-241 |
artikel |
|
| 2 | Modelling with Hierarchical Object Petri Nets |
Berndt Farwer |
2003 |
55 | 2 |
p. 129-147 |
artikel |
|
| 3 | N-axioms Parallel Unification |
Marco Bellia |
2003 |
55 | 2 |
p. 115-128 |
artikel |
|
| 4 | Petri nets and resource bisimulation |
Vladimir A. Bashkin |
2003 |
55 | 2 |
p. 101-114 |
artikel |
|
| 5 | Preface |
Hans-Dieter Burkhard |
2003 |
55 | 2 |
p. i |
artikel |
|
| 6 | Reachability Analysis for Timed Automata Using Partitioning Algorithms |
Agata Półrola |
2003 |
55 | 2 |
p. 203-221 |
artikel |
|
| 7 | Synthesis of Petri Net Models: A Rough Set Approach |
Krzysztof Pancerz |
2003 |
55 | 2 |
p. 149-165 |
artikel |
|
| 8 | Using State Equation to Prove Non-Reachability in Timed Petrinets |
Louchka Popova-Zeugmann |
2003 |
55 | 2 |
p. 187-202 |
artikel |
|
| 9 | Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking |
Wojciech Penczek |
2003 |
55 | 2 |
p. 167-185 |
artikel |
9 gevonden resultaten