52,00€(IVA inc.)
Formal Modeling and Analysis of Timed Systems
- Fränzle, Martin
- 978-3-319-44877-0
- 2016-08-17