A linear process-algebraic format for probabilistic systems with data

by Joost-pieter Katoen , Jaco Van De Pol , Mariëlle Stoelinga , Mark Timmer
Citations:2 - 2 self