Compositional branching-time measurements
- Radu Grosu
- , Doron Peled
- , C. R. Ramakrishnan
- , Scott A. Smolka
- , Scott D. Stoller
- , Junxing Yang
- TU Wien
- Stony Brook University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3
Scopus
citations