![]() | ![]() |
2005 | ||
---|---|---|
2 | EE | Stefan Strubbe, Rom Langerak: A Composition Operator for Systems with Active and Passive Actions. FORTE 2005: 24-37 |
1 | EE | Stefan Strubbe, A. J. van der Schaft: Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs). HSCC 2005: 623-639 |
1 | Rom Langerak | [2] |
2 | A. J. van der Schaft | [1] |