Fundamenta Informaticae - Tom Vol. 178, nr 1/2 (2021) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 178, nr 1/2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2021

Identyfikatory

Uwagi

Special Issue on the 11th InternationalWorkshop on Reachability Problems (RP 2017)

Zawartość wolumenu

Vol. 178, nr 1/2
- artykuł: The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic (Bruse Florian, Lange Martin, Lozes Etienne), s. 1--30
- artykuł: Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction (Cassez Franck, Jensen Peter Gjøl, Guldstrand Larsen Kim), s. 31--57
- artykuł: Copyful Streaming String Transducers (Filiot Emmanuel, Reynier Pierre-Alain), s. 59--76
- artykuł: Topological Characterisation of Multi-Buffer Simulation (Hutagalung Milka), s. 77--99
- artykuł: Probabilistic Timed Automata with Clock-Dependent Probabilities (Sproston Jeremy), s. 101--138
- artykuł: Stubborn Sets, Frozen Actions, and Fair Testing (Valmari Antti, Vogler Walter), s. 139--172

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