Digital Library of Zielona Góra contains 9 272 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
Wojnakowski, Marcin Wiśniewski, Remigiusz Bazydło, Grzegorz Popławski, Mateusz Kusy, Maciej - ed. Scherer, Rafał - ed. Krzyżak, Adam - ed.
Gosti, Wilsin Villa, Tiziano Saldanha, Alex Sangiovanni-Vincentelli, Alberto L. Korbicz, Józef (1951- ) - red.
Clempner, Julio Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Clempner, Julio Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Gu, Tianlong Bahri, Parisa A. Cai, Guoyong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Gu, Tianlong Dong, Rongsheng Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Li, Ben Khlif-Bouassida, Manel Toguéyni, Armand Puig, Vicenç - ed. Sauter, Dominique - ed. Aubrun, Christophe - ed. Schulte, Horst - ed.
Patalas-Maliszewska, Justyna Wiśniewski, Remigiusz Zhou, MengChu Topczak, Marcin Wojnakowski, Marcin Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Pułka, Andrzej Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Barkalov, Alexander Barkalov, Alexander Jr. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Kubica, Marcin Kania, Dariusz Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Sawerwain, Marek Gielerak, Roman Gałkowski, Krzysztof - ed. Rogers, Eric - ed. Willems, Jan
Pancerz, Krzysztof Schumann, Andrew Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Sikora, Beata Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Barkalov, Alexander Titarenko, Larysa Chmielewski, Sławomir Korbicz, Józef (1951- ) - red.
Bach, Małgorzata Werner, Aleksandra Mrozik, Magda Cyran, Krzysztof A. Kusy, Maciej - ed. Scherer, Rafał - ed. Krzyżak, Adam - ed.
Ngoko, Yanik Cérin, Christophe Trystram, Denis Kobusińska, Anna - ed. Hsu, Ching-Hsien - ed. Lin, Kwei-Jay - ed.
Górecki, Henryk (1927-2022) Korbicz, Józef (1951- ) - ed.
Opara, Adam Kania, Dariusz Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Chmielnicki, Wiesław Stąpor, Katarzyna Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Płuciennik-Koropczuk, Ewelina Jakubaszek, Anita Greinert, Andrzej - red.
Porwik, Piotr Stanković, Radomir S. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Bresch, Didier Koko, Jonas Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Berdjag, Denis Cocquempot, Vincent Christophe, Cyrille Shumsky, Alexey Zhirabok, Alexey Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
