The supervisor synthesis problem for unrestricted CTL is NP-complete

Bibliographische Detailangaben

1. Verfasser:	Antoniotti, Marco (VerfasserIn)
Weitere Verfasser:	Mishra, Bud (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berkeley, Calif. ICSI 1995
Schriftenreihe:	TR / International Computer Science Institute 95-062
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!