Étienne André

Identifiers

Open LibraryOL8004235A

Books by Étienne André

Total count: 2

Formal Modeling and Analysis of Timed Systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Springer2019-08-13
Automated Technology for Verification and Analysis21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Springer2023-01-01