Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland