FM 2012: Nicolás D'Ippolito, Victor Braberman, Nir Piterman, and Sebastián Uchitel. The modal transition system control problem

This work was presented by Nicolás D'Ippolito in FM 2012, Paris, August 27-31

http://publicaciones.dc.uba.ar/Publications/2012/DBPU12a/

Undefined