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. 86, nr 3
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2008
Identyfikatory
Zawartość wolumenu
Vol. 86, nr 3
artykuł:
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
(
Esparza J.
,
Jančar P.
,
Miller A.
), s. 227-253
artykuł:
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
(
Juhás G.
,
Lorenz R.
,
Mauser S.
), s. 255-298
artykuł:
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
(
Khomenko V.
,
Madalinski A.
,
Yakovlev A.
), s. 299-323
artykuł:
Schedulability Analysis of Petri Nets Based on Structural Properties
(
Liu C.
,
Kondratyev A.
,
Watanabe Y.
,
Desel J.
,
Sangiovanni-Vincentelli A.
), s. 325-341
artykuł:
Modeling Communication with Synchronized Environments
(
Seceleanu T.
,
Jantsch A.
), s. 343-369
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ć.