Proving complexity bounds for well-structured systems

16^th November 2010, 16:00
Prof Philippe Schnoebelen
LSV, CNRS & ENS Cachan, Cachan, France