Fundamenta Informaticae - Tom Vol. 143, nr 3/4 (2016) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 143, nr 3/4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2016

Identyfikatory

Zawartość wolumenu

Vol. 143, nr 3/4
- artykuł: Robustness of Time Petri Nets under Guard Enlargement (Akshay S., Jard C., Hélouët L., Reynier P.-A.), s. 207--234
- artykuł: Interrupt Timed Automata with Auxiliary Clocks and Parameters (Bérard B., Jovanović A., Haddad S., Lime D.), s. 235--259
- artykuł: A New Sandpile Model with Smoothness Assumptions (Brocchi S., Massazza P.), s. 261--286
- artykuł: Adding Data Registers to Parameterized Networks with Broadcast (Delzanno G., Sangnier A., Traverso R.), s. 287--316
- artykuł: Relating Reachability Problems in Timed and Counter Automata (Haase C., Ouaknine J., Worrell J.), s. 317--338
- artykuł: Branching-Time Model Checking Gap-Order Constraint Systems (Mayr R., Totzke P.), s. 339--353
- artykuł: Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Arc Multiplicities (Mayr E. W., Weihmann J.), s. 355--391
- artykuł: Constructing Minimal Coverability Sets (Piipponen A., Valmari A.), s. 393--414
- artykuł: On The Complexity of Counter Reachability Games (Reichert J.), s. 415--436

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