Walukiewicz, Igor
-
BRICS Report Series Nr. 54 (1996): RS-54 Pushdown Processes: Games and Model Checking - Artikler
Pushdown Processes: Games and Model Checking
Resumé PDF (English) -
BRICS Report Series Nr. 6 (1995): RS-06 A Complete Deductive System for the mu-Calculus - Artikler
A Complete Deductive System for the mu-Calculus
Resumé PDF (English) -
BRICS Report Series Nr. 2 (2000): RS-2 Local Logics for Traces - Artikler
Local Logics for Traces
Resumé PDF (English) -
BRICS Report Series Nr. 44 (1995): RS-44 Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems - Artikler
Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
Resumé PDF (English) -
BRICS Report Series Nr. 27 (1995): RS-27 Automata for the mu-calculus and Related Results - Artikler
Automata for the mu-calculus and Related Results
Resumé PDF (English) -
BRICS Report Series Nr. 62 (1996): RS-62: An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces - Artikler
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
Resumé PDF (English)