Paul Pettersson

Showing the single result

{PDF} Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings Lothar Thiele (auth.), Paul Pettersson, Wang Yi (eds.)