SUPERVISORY CONTROL AND FORMAL METHODS FOR DISTRIBUTED SYSTEMS

INAN K.

Joint Workshop on Discrete Event Systems (WODES 92), PRAGUE, Czech Republic, 26 - 28 August 1992, vol.13, pp.29-41 identifier

  • Publication Type: Conference Paper / Full Text
  • Volume: 13
  • City: PRAGUE
  • Country: Czech Republic
  • Page Numbers: pp.29-41