Activities per year
Original language | English |
---|---|
Title of host publication | Coordination Control of Distributed Systems |
Pages | 339-346 |
Number of pages | 8 |
Volume | 75 |
Publication status | Published - 2015 |
Activities
- 1 Talk or presentation
-
Verification of Hybrid Systems with Ariadne
Pieter Collins (Speaker)
20 Nov 2020Activity: Talk or presentation (speaker at event) › Talk or presentation › Academic