PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
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. 140, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2015
Identyfikatory
Zawartość wolumenu
Vol. 140, nr 1
artykuł:
A Causal View on Non-Interference
(
Baldan P.
,
Carraro A.
), s. 1--38
artykuł:
Synthesis of Live and Bounded Persistent Systems
(
Best E.
,
Devillers R.
), s. 39--59
artykuł:
Catching a Structural Bug with a Flower
(
Avellaneda F.
,
Morin R.
), s. 61--87
artykuł:
Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics
(
Mateo J. A.
,
Srba J.
,
Sørensen M. G.
), s. 89--121
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ć.