Browse
FAQ

Author

Peter Niebert

1 book found

Cover of Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Kim G. Larsen, Peter Niebert · First published 2004