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. 88, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2008
Identyfikatory
Zawartość wolumenu
Vol. 88, nr 4
artykuł:
Hazard Checking of Timed Asynchronous Circuits Revisited
(
Béal F.
,
Yoneda T.
,
Myers C.J.
), s. 411-435
artykuł:
Synthesis of Petri Nets from Finite Partial Languages
(
Bergenthum R.
,
Desel J.
,
Lorenz R.
,
Mauser S.
), s. 437-468
artykuł:
A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties
(
Bouchene H.
,
Rakkay H.
), s. 469-495
artykuł:
Fault Diagnosis with Static and Dynamic Observers
(
Cassez F.
,
Tripakis S.
), s. 497-540
artykuł:
Output-Determinacy and Asynchronous Circuit Synthesis
(
Khomenko V.
,
Schaefer M.
,
Vogler W.
), s. 541-579
artykuł:
Analysis of Static Data Flow Structures
(
Sokolov D.
,
Poliakov I.
,
Yakovlev A.
), s. 581-610
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ć.