2006 8th International Workshop on Discrete Event Systems Discrete Event Systems Discrete Event Systems, 2006 8th International Workshop on. :301-306 2006
Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005. Intelligent Control, 2005. Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation. :896-901 2005
Second International Conference on the Quantitative Evaluation of Systems (QEST'05) Quantitative Evaluation of Systems Quantitative Evaluation of Systems, 2005. Second International Conference on the. :95-104 2005
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Decision and control Decision and Control, 2004. CDC. 43rd IEEE Conference on. 1:57-62 Vol.1 2004