David N. Jansen, Pavithra Prabhakar

Formal Modeling and Analysis of Timed Systems - 1st ed. 2018 - Springer International Publishing 2018 - 11022 - Lecture Notes in Computer Science .

978-3-030-00151-3

1611-3349