Tim Willemse

Identifiers

Open LibraryOL7955562A

Books by Tim Willemse

Total count: 2

Semantics and verification in process algebras with data and timing

2003-01-01
Formal Methods for Industrial Critical Systems24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Springer2019-07-25