M. Podolsky

Specifying and analysing distributed object-oriented systems

Maximilian Frey, Markus Podolsky, M. Frey, 1999, 1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.

Specifying and Analyzing Distributed Object-Oriented Systems.

Maximilian Frey, Markus Podolsky, M. Frey, 1999 .

Framework for Testing based Development of Parallel and Distributed Programs

Michael Oberhuber, Maximilian Frey, Markus Podolsky, 1998, PDSE.