Login / Signup

Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs).

Stefan StrubbeA. J. van der Schaft
Published in: HSCC (2005)
Keyphrases