Marcin Jurdzinski

Formal Modeling and Analysis of Timed Systems