| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005), Vol. 145 (14 January 2006), pp. 167-183.
|
| |
|
| |
|
| |
In Hybrid Systems (1994), pp. 226-251.
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 88, No. 7. (2000), pp. 971-984.
|
| |
In STOC '95: Proceedings of the twenty-seventh annual ACM symposium on Theory of computing (1995), pp. 373-382.
|
| |
In HSCC '00: Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (2000), pp. 130-144.
|
| |
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on In Decision and Control, 2001. Proceedings of the 40th IEEE Conference on, Vol. 3 (2001), pp. 2867-2874 vol.3.
|
| |
Found. Trends Electron. Des. Autom., Vol. 1, No. 1/2. (2006), pp. 1-193.
|
| |
Formal Modeling and Analysis of Timed Systems (2004), pp. 151-165.
|
| |
Hybrid Systems: Computation and Control (2005), pp. 25-53.
|
| |
Journal of Logic and Algebraic Programming, Vol. 62, No. 2. (1 February 2005), pp. 191-245.
|
| |
In HSCC (1998), pp. 80-95.
|
| |
Theoretical Computer Science In Process Algebra, Vol. 335, No. 2-3. (23 May 2005), pp. 215-280.
|
| |
Sci. Comput. Program., Vol. 30, No. 1-2. (1998), pp. 3-49.
|
| |
Proceedings of the IEEE, Vol. 88, No. 7. (2000), pp. 1011-1025.
|
Search
