From propositional to first-order monitoring
- Andreas Bauer
- , Jan Christoph Küster
- , Gil Vegliach
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
51
Citations
(Scopus)