Adding Partial Orders to Linear Temporal Logic
- Girish Bhat
- , Doron Peled
- Make Systems
- North Carolina State University
- Lucent
Research output: Contribution to journal › Article › peer-review
3
Scopus
citations