You are here
Research seminaries
25 June 2010
Christel Baier, Technische Universitaet Dresden Automata-based model checking relies on a...
18 June 2010
Weighted automata are used to describe quantitative properties in various areas such as...
17 June 2010
The convergence between computer science and biology occurred in successive waves, involving deeper...