Journals in DBLP

Fundam. Inform.
2003, volume: 55, number: 2

1. Vladimir A. Bashkin, Irina A. Lomazova
   Petri nets and resource bisimulation. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:55, n:2, pp:101-114 [Journal]
   
2. Marco Bellia, M. Eugenia Occhiuto
   N-axioms Parallel Unification. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:55, n:2, pp:115-128 [Journal]
   
3. Berndt Farwer, Kundan Misra
   Modelling with Hierarchical Object Petri Nets. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:55, n:2, pp:129-147 [Journal]
   
4. Krzysztof Pancerz, Zbigniew Suraj
   Synthesis of Petri Net Models: A Rough Set Approach. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:55, n:2, pp:149-165 [Journal]
   
5. Wojciech Penczek, Alessio Lomuscio
   Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:55, n:2, pp:167-185 [Journal]
   
6. Louchka Popova-Zeugmann, Matthias Werner, Jan Richling
   Using State Equation to Prove Non-Reachability in Timed Petrinets. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:55, n:2, pp:187-202 [Journal]
   
7. Agata Pólrola, Wojciech Penczek, Maciej Szreter
   Reachability Analysis for Timed Automata Using Partitioning Algorithms. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:55, n:2, pp:203-221 [Journal]
   
8. Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek
   Checking Reachability Properties for Timed Automata via SAT. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:55, n:2, pp:223-241 [Journal]