A linear process-algebraic format for probabilistic systems with data (extended version)

Joost P. Katoen, Jan Cornelis van de Pol, Mariëlle Ida Antoinette Stoelinga, Mark Timmer

    Research output: Book/Report › Report › Academic

    89 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'A linear process-algebraic format for probabilistic systems with data (extended version)'. Together they form a unique fingerprint.