DMCA

Compositional metric reasoning with Probabilistic Process Calculi

by Daniel Gebler , Kim G. Larsen , Simone Tini
Citations:1 - 1 self