Paul Pettersson

P.P. · Paul P.

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005 Uppsala, Sweden, September 26-28, 2005 Proceedings978-3-54O-3O946-8
(3-54O-3O946-2)
2009Wang Yi

Paul Pettit