CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Constructive logical characterizations of bisimilarity for reactive probabilistic systems
Bernardo Marco
,
Miculan Marino
2018-01-01
Cite
DOI
Type
Journal article
Cite
×