IA072 Seminar on Concurrency

Programme

Papers on omega-automata:

Papers on SAT/SMT solving:

Papers on slicing:

Papers on games and synthesis:

Others papers to present:

 

Následující