Domain Equations for Probabilistic Processes (1997)

by Christel Baier , Marta Kwiatkowska
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:16 - 1 self