GSOS for non-deterministic processes with quantitative aspects

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