Digital Library of Zielona Góra contains 9 272 digital objects
Search for: [Subject and Keywords = formal verification] OR [Subject and Keywords = deductive reasoning] OR [Subject and Keywords = temporal logic] OR [Subject and Keywords = semantic tableaux] OR [Subject and Keywords = workflow patterns] OR [Subject and Keywords = logical primitives] OR [Subject and Keywords = generating logical specifications] OR [Subject and Keywords = business models] OR [Subject and Keywords = BPMN] OR [Title = A system for deduction\-based formal verification of workflow\-oriented software models] OR [Creator = Klimek, Radosław]
Number of results: 8
Pułka, Andrzej Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Güzel Kalayci, Elem Brandt, Sebastian Calvanese, Diego Ryzhikov, Vladislav Xiao, Guohui Zakharyaschev, Michael Gamper, Johann - ed. Wrembel, Robert - ed.
Gosti, Wilsin Villa, Tiziano Saldanha, Alex Sangiovanni-Vincentelli, Alberto L. Korbicz, Józef (1951- ) - red.
Taibi, Toufik Ngo, David Chek Ling Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Nikiel, Sławomir Moczulska, Marta - red. Preston, Peter- red. jęz. Stankiewicz, Janina - red. nacz. Zmyślony, Roman - red. statyst. Adamczyk, Janusz- red. Skalik, Jan - red.
Klimek, Radosław Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Klimek, Radosław Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Nogalski, Bogdan Niewiadomski, Przemysław Moczulska, Marta - red. Preston, Peter- red. jęz. Stankiewicz, Janina - red. nacz. Zmyślony, Roman - red. statyst. Adamczyk, Janusz- red. Skalik, Jan - red.
