Digital Library of Zielona Góra contains 9 345 digital objects
Search for: [Subject and Keywords = transition systems] OR [Subject and Keywords = Petri nets] OR [Subject and Keywords = state machine] OR [Subject and Keywords = decomposition] OR [Subject and Keywords = theory of regions] OR [Subject and Keywords = SAT] OR [Subject and Keywords = pseudo\-Boolean optimization] OR [Title = Generation of synchronizing state machines from a transition system\: A region\-based approach] OR [Creator = Teren, Viktor] OR [Creator = Cortadella, Jordi] OR [Creator = Villa, Tiziano]
Number of results: 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ł
