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. 161, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2018
Identyfikatory
Zawartość wolumenu
Vol. 161, nr 4
artykuł:
The Complexity of Diagnosability and Opacity Verification for Petri Nets
(
Bérard B.
,
Haar S.
,
Schmitz S.
,
Schwoon S.
), s. 317--349
artykuł:
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs
(
Dalsgaard A. E.
,
Enevoldsen S.
,
Fogh P.
,
Jensen L. S.
,
Jensen P. G.
,
Jepsen T. S.
,
Kaufmann I.
,
Larsen K. G.
,
Nielsen S. M.
,
Olesen M. C.
,
Pastva S.
,
Srba J.
), s. 351--381
artykuł:
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets
(
Hujsa T.
,
Devillers R.
), s. 383--421
artykuł:
Interleaving Based Model Checking of Concurrency and Causality
(
Wolf K.
), s. 423--445
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ć.