Biblio

Export 2 results:
Sort by: Author Keyword Title [ Type  (Asc)] Year
Filters: Author is Wehrheim, H.  [Clear All Filters]
Conference Paper
Conference Proceedings
Huhn, M., H. Wehrheim, and G. Denker, "Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach", GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany, no. 29/9: Universität Erlangen, pp. 77-88, 1996. Abstract