[Lecture Notes in Computer Science] STACS 95 Volume 900 || On the synthesis of discrete controllers for timed systems
Mayr, Ernst W., Puech, ClaudeVolume:
10.1007/3-
Year:
1995
Language:
english
DOI:
10.1007/3-540-59042-0_76
File:
PDF, 798 KB
english, 1995