![]() | ![]() |
1999 | ||
---|---|---|
1 | Luz E. Pinzon, Hans-Michael Hanisch, Mohsen A. Jafari, T. Boucher: A Comparative Study of Synthesis Methods for Discrete Event Controllers. Formal Methods in System Design 15(2): 123-167 (1999) |
1 | Hans-Michael Hanisch | [1] |
2 | Mohsen A. Jafari | [1] |
3 | Luz E. Pinzon | [1] |