SUPERVISORY CONTROL AND FORMAL METHODS FOR DISTRIBUTED SYSTEMS
Joint Workshop on Discrete Event Systems (WODES 92), PRAGUE, Czech Republic, 26 - 28 August 1992, vol.13, pp.29-41, (Full Text)
- Publication Type: Conference Paper / Full Text
- Volume: 13
- City: PRAGUE
- Country: Czech Republic
- Page Numbers: pp.29-41
- Middle East Technical University Affiliated: No