Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

Formal Modeling and Analysis of Timed Systems - Springer Springer 2016

9783319448787

EBOOK
Copyright @ Delhi University Library System