Talks and Poster Presentations (with Proceedings-Entry):

M. Balser, O. Coltell, J. van Croonenborg, C. Duelli, F. van Harmelen, A. Jovell, P. Lucas, M. Marcos, S. Miksch, W. Reif, K. Rosenbrand, A. Seyfang, A. ten Teije:
"Protocure: Supporting the Development of Medical Protocols Through Formal Methods";
Talk: Symposium on Computerized Guidelines and Protocols (CGP 2004), Prague; 2004-04-13; in: "Computer-based Support for Clinical Guidelines and Protocols", K. Kaiser, S. Miksch, S. Tu (ed.); (2004), ISBN: 158603412x; 103 - 107.

Online library catalogue of the TU Vienna:

Created from the Publication Database of the Vienna University of Technology.