FM 2012: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Distribution of modal transition systems.

This work was presented by Germán Sibay in FM 2012, Paris, August 27-31

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

Undefined