Login / Signup

Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes.

Stefan StrubbeArjan van der Schaft
Published in: CDC/ECC (2005)
Keyphrases