Department of Artificial Intelligence and Systems Engineering
concurrency (1) · formal verification (1) · local semantics (1) · model checking (1) · timed automaton (1)
1 theses in total. View all theses »