Digital Library of Zielona Góra contains 9 387 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
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.
Gao, Depeng Wu, Rui Liu, Jiafeng Fan, Xiaopeng Tang, Xianglong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Barszcz, Tomasz Korbicz, Józef (1951- ) - ed.
Kaczorek, Tadeusz (1932- ) Korbicz, Józef (1951- ) - red.
Zhirabok, Alexey Shumsky, Alexey Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Sutradhar, Tumpa Datta, B.K. Bera, Rasajit Kumar Jurczak, Paweł - red.
Atwell, Jeanne A. Borggaard, Jeffrey T. King, Belinda B. Curtain, Ruth - ed. Kaashoek, Rien - ed.
Simek, Krzysztof Kimmel, Marek - red. Lachowicz, Mirosław - red. Świerniak, Andrzej - red.
Tran, Hoai Linh Pham, Van Nam Vuong, Hoang Nam Abaev, Pavel - ed. Razumchik, Rostislav - ed. Kołodziej, Joanna - ed.
Uciński, Dariusz Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Liu, Xinwu Huang, Lihong Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Gao, Jian-Qiang Fan, Li-Ya Li, Li Xu, Li-Zhong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Barkalov, Alexander Titarenko, Larysa Mielcarek, Kamil Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Aswani Kumar, Cherukuri Srinivas, Suripeddi Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Oh, Cheolhwan Żak, Stanisław H. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Clempner, Julio Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Zhou, Lan She, Jinhua Zhou, Shaowu Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Elloumi, Wafa Mehdi, Driss Chaabane, Mohammed Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Gander, Martin J. Halpern, Laurence Magoul?s, Frédéric Roux, François-Xavier Sokołowski, Jan - ed. Sonnendrücker, Eric - ed.
Zhou, Lan She, Jinhua Li, Chaoyi Pan, Changzhong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Moldovan, Andreea Bot, Radu Ioan Wanka, Gert Beliczyński, Bartłomiej - red.
Paliivets, Maksim Bakshtanin, Alexander Benin, Dmitriy M. Andreev, E. Snezhko, V.L. Jurczak, Paweł - red.
Jakubus, Monika Greinert, Andrzej - red.
