| |
| 2005 | ||
|---|---|---|
| 2 | EE | Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva: A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55(1-3): 81-115 (2005) |
| 2002 | ||
| 1 | EE | Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva: Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO 2002: 71-98 |
| 1 | Werner Damm | [1] [2] |
| 2 | Bernhard Josko | [1] [2] |
| 3 | Amir Pnueli | [1] [2] |