Angelika Votintseva (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 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)

1 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

Selection of 2 from 3 records - Angelika Votintseva has 7 coauthors

2		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)
1		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