Tu sei qui
Seminari di ricerca
25 giugno 2010
Christel Baier, Technische Universitaet Dresden Automata-based model checking relies on a...
18 giugno 2010
Weighted automata are used to describe quantitative properties in various areas such as...
17 giugno 2010
The convergence between computer science and biology occurred in successive waves, involving deeper...