T | |
---|---|
[TA99] | Stavros Tripakis and Karine Altisen. On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. In FM'99, Lecture Notes in Computer Science 1708, pages 233-252. Springer-Verlag, September 1999. |
Search
Displayed 1 resultList of authors
- 1
- 1