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 |