Nicolás D'Ippolito presents at FM2012 in Paris: The modal transition system control problem.

8/12 Nicolás D'Ippolito presents at FM2012 in Paris: The modal transition system control problem.

Undefined