PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
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ć.