Back to Search Start Over

Compositional Branching-Time Measurements.

Authors :
Grosu, Radu
Peled, Doron
Ramakrishnan, C. R.
Smolka, Scott A.
Stoller, Scott D.
Yang, Junxing
Source :
From Programs to Systems. The Systems Perspective in Computing; 2014, p118-128, 11p
Publication Year :
2014

Details

Language :
English
ISBNs :
9783642548475
Database :
Complementary Index
Journal :
From Programs to Systems. The Systems Perspective in Computing
Publication Type :
Book
Accession number :
98806109
Full Text :
https://doi.org/10.1007/978-3-642-54848-2_8
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details