German Sibay presents at FM2012 in Paris: Distribution of modal transition systems.

8/12 German Sibay presents at FM2012 in Paris: Distribution of modal transition systems. 

Undefined