We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

One-Clock Priced Timed Games are PSPACE-hard

Formale Metadaten

Titel
One-Clock Priced Timed Games are PSPACE-hard
Untertitel
Q/A Session C - Paper C5.B
Serientitel
Anzahl der Teile
56
Autor
Mitwirkende
Lizenz
CC-Namensnennung 3.0 Deutschland:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre