| Original language | English (US) |
|---|---|
| Title of host publication | Workshop on discrete event systems |
| Subtitle of host publication | WODES '96 Edinburgh, Scotland, UK August 19-21, 1996 |
| State | Published - 1996 |
NP-completeness of the supervisor synthesis problem for unrestricted CTL specifications
Bhubaneswar Mishra, Marco Antoniotti
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution