Biblio

Export 1 results:
Sort by: Author Keyword Title [ Type  (Desc)] Year
Filters: Author is Zeippen, J.-M.  [Clear All Filters]
Conference Proceedings
Zeippen, J. - M., and P. Hartel, "Specification of a Control System by Domain Specialists with OBLOG - Experience Report -", Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 137-146, 1994. Abstract