Fundamenta Informaticae - Tom Vol. 55, nr 2 (2003) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 55, nr 2

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2003

Identyfikatory

Zawartość wolumenu

Vol. 55, nr 2
- artykuł: Petri nets and resource bisimulation (Bashkin V. A., Lomazova I. A.), s. 101-114
- artykuł: N-axioms Parallel Unification (Bellia M., Occhiuto M. E.), s. 115-128
- artykuł: Modelling with Hierarchical Object Petri Nets (Farwer B., Misra K.), s. 129-147
- artykuł: Synthesis of Petri Net Models: A Rough Set Approach (Pancerz K., Suraj Z.), s. 149-165
- artykuł: Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking (Penczek W., Lomuscio A.), s. 167-185
- artykuł: Using State Equation to Prove Non-Reachability in Timed Petrinets (Popova-Zeugmann L., Werner M., Richling J.), s. 187-202
- artykuł: Reachability Analysis for Timed Automata Using Partitioning Algorithms (Półrola A., Penczek W., Szreter M.), s. 203-221
- artykuł: Checking Reachability Properties for Timed Automata via SAT (Woźna B., Zbrzezny A., Penczek W.), s. 223-241

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.