![](/img/cover-not-exists.png)
[IEEE Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. - Brno, Czech Republic (24-27 May 2004)] Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. - Contracts and games in controller synthesis for discrete systems
Ralph-Johan Back,, Seceleanu, C.C.Year:
2004
Language:
english
DOI:
10.1109/ecbs.2004.1316713
File:
PDF, 327 KB
english, 2004