|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
9 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Checking Reachability Properties for Timed Automata via SAT |
Bożena Woźna |
2003 |
55 | 2 |
p. 223-241 |
article |
|
| 2 | Modelling with Hierarchical Object Petri Nets |
Berndt Farwer |
2003 |
55 | 2 |
p. 129-147 |
article |
|
| 3 | N-axioms Parallel Unification |
Marco Bellia |
2003 |
55 | 2 |
p. 115-128 |
article |
|
| 4 | Petri nets and resource bisimulation |
Vladimir A. Bashkin |
2003 |
55 | 2 |
p. 101-114 |
article |
|
| 5 | Preface |
Hans-Dieter Burkhard |
2003 |
55 | 2 |
p. i |
article |
|
| 6 | Reachability Analysis for Timed Automata Using Partitioning Algorithms |
Agata Półrola |
2003 |
55 | 2 |
p. 203-221 |
article |
|
| 7 | Synthesis of Petri Net Models: A Rough Set Approach |
Krzysztof Pancerz |
2003 |
55 | 2 |
p. 149-165 |
article |
|
| 8 | Using State Equation to Prove Non-Reachability in Timed Petrinets |
Louchka Popova-Zeugmann |
2003 |
55 | 2 |
p. 187-202 |
article |
|
| 9 | Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking |
Wojciech Penczek |
2003 |
55 | 2 |
p. 167-185 |
article |
9 results found