Monitoring First-Order Interval Logic
- Klaus Havelund
- , Moran Omer
- , Doron Peled
- Jet Propulsion Laboratory, California Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3
Scopus
citations