Fundamenta Informaticae - Tom vol. 187 nr 2-4 (2022) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

vol. 187 nr 2-4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2022

Identyfikatory

Zawartość wolumenu

vol. 187 nr 2-4
- artykuł: Introduction to Probabilistic Concurrent Systems (Abbes Samy), s. 71--102
- artykuł: A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking (Amat Nicolas, Berthomieu Bernard, Dal Zilio Silvano), s. 103--138
- artykuł: Synthesis of Pure and Impure Petri nets with Restricted Place-environments : Complexity Issues (Devillers Raymond, Tredup Ronny), s. 139--165
- artykuł: Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues (Devillers Raymond, Tredup Ronny), s. 167--196
- artykuł: Computing Parameterized Invariants of Parameterized Petri Nets (Esparza Javier, Raskin Mikhail, Welzel Christoph), s. 197--243
- artykuł: Skeleton Abstraction for Universal Temporal Properties (Wallner Sophie, Wolf Karsten), s. 245--272

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