|
СТ |
Switched Probabilistic I/O Automata |
2005 |
Cheung L., Lynch N., Segala R., Vaandrager F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
|
П |
As Cheap as Possible: Linearly Priced Timed Automata |
2002 |
Behrmann G., Brinksma E., Fehnker A., Larsen K., Pettersson P., Romijn J., Vaandrager F. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
П |
Hybrid I/O Automata Revisited + A LEGO Case Study |
2002 |
Lynch N., Segala R., Vaandrager F., Fehnker A. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
П |
Hybrid I/O Automata |
2002 |
Lynch N., Segala R., Vaandrager F. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
СТ |
Verification of a Distributed Summation Algorithm |
1995 |
Vaandrager F. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
СТ |
Action Transducers and Timed Automata |
1992 |
Vaandrager F., Lynch N. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
|
СТ |
Forward and Backward Simulations for Timing-Based Systems |
1992 |
Lynch N., Vaandrager F. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
