Sign in

GSOS for non-deterministic processes with quantitative aspects.

Marino MiculanMarco Peressotti
Published in: QAPL (2014)
Keyphrases