|Final Report of the COST-247 Action|
MHS MESSAGE WITH EDIM
Gabor Borsodi (1), Sarolta Dibuz (2), Katalin Tarnay (3)
|(1) Department of Telecommunications and Telematics|
|Technical University of Budapest|
|(2) KFKI Group|
This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).
COST-247 Working Group(s): 3
This Page was prepared by Mark Jorgensen.