Matrix-based representation for coordination fault detection: A formal approach
- Meir Kalech
- , Michael Lindner
- , Gal A. Kaminka
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3
Scopus
citations