P.S. Thiagarajan

Livros
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2007