Deciding hedged bisimilarity

Mansutti Alessio, Miculan Marino
2018-01-01
Cite PDF
Type
Conference paper