Fingerprint
Dive into the research topics of 'SOS rule formats for convex and abstract probabilistic bisimulations'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
SOS rule formats for convex and abstract probabilistic bisimulations
P.R. D'Argenio, M.D. Lee, D. Gebler
Research output: Contribution to Journal › Article › Academic › peer-review