Contributions to Proceedings:
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";
in: "Proceedings of the International Joint Meeting EuroMISE 2004",
J. Zvárová, P. Hanzlicek, J. Peleska, P. Precková, V. Svátek, Z. Valenta (ed.);
EuroMISE,
Prague,
2004,
ISBN: 80-903431-0-4,
81.
Created from the Publication Database of the Vienna University of Technology.