Deciding weak weighted bisimulation

Miculan Marino, Peressotti Marco
2017-01-01
Cite PDF
Type
Conference paper