Fingerprint
Dive into the research topics of 'Compositional branching-time measurements'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Compositional branching-time measurements
Radu Grosu, Doron Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3
Scopus
citations