Fundamenta Informaticae - Tom Vol. 94, nr 3/4 (2009) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 94, nr 3/4

Czasopismo

Fundamenta Informaticae

Wydawca

Polskie Towarzystwo Matematyczne

Rocznik

2009

Identyfikatory

Zawartość wolumenu

Vol. 94, nr 3/4
- artykuł: Synthesis of Nets with Step Firing Policies (Darondeau P., Koutny M., Pietkiewicz-Koutny M., Yakovlev A.), s. 275-303
- artykuł: A Net-based Approach to Web Services Publication and Replaceability (Bonchi F., Brogi A., Corfini S., Gadducci F.), s. 305-330
- artykuł: Unfolding Semantics of Petri Nets Based on Token Flows (Bergenthum R., Mauser S., Lorenz R., Juhas G.), s. 331-360
- artykuł: Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario (Kristensen L.M., Fleischer P.), s. 361-386
- artykuł: Process Discovery using Integer Linear Programming (van der Werf J.M.E.M., van Dongen B.F., Hurkens C.A.J., Serebrenik A.), s. 387-412
- artykuł: Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation (Hamez A., Thierry-Mieg Y., Kordon F.), s. 413-437
- artykuł: A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Meyer R., Khomenko V., Strazny T.), s. 4439-471

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ć.