Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 440 obiektów cyfrowych
Szukana fraza: [Temat i słowa kluczowe = transition systems] lub [Temat i słowa kluczowe = Petri nets] lub [Temat i słowa kluczowe = state machine] lub [Temat i słowa kluczowe = decomposition] lub [Temat i słowa kluczowe = theory of regions] lub [Temat i słowa kluczowe = SAT] lub [Temat i słowa kluczowe = pseudo\-Boolean optimization] lub [Tytuł = Generation of synchronizing state machines from a transition system\: A region\-based approach] lub [Autor = Teren, Viktor] lub [Autor = Cortadella, Jordi] lub [Autor = Villa, Tiziano]
Wyników: 52
AMCS, volume 18 (2008)
Cempel, Czesław Korbicz, Józef (1951- ) - ed. Sauter, Dominique - ed.
2008
artykuł
AMCS, volume 30 (2020)
Chaturantabut, Saifon Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
2020
artykuł
AMCS, volume 29 (2019)
Jankowski, Norbert Linowiecki, Rafał Kulczycki, Piotr - ed. Kacprzyk, Janusz - ed. Kóczy, László T. - ed. Mesiar, Radko - ed.
2019
artykuł
AMCS, volume 30 (2020)
Piegat, Andrzej Dobryakova, Larisa Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
2020
artykuł
