EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Maibaum, T.S.E.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

1998

Wieringa, R.J. and Broersen, J.M. (1998) A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams. In: Proceedings ICSE Workshop om Precise Semantics for Software Modeling Techniques, 20 April 1998, Kyoto, Japan. pp. 129-151. Technische Universitat Munchen TUM-I9803. ISBN not assigned

1991

van den Broek, P.M. (1991) Algebraic graph rewriting using a single pushout. In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development. Lecture Notes in Computer Science 493. Springer-Verlag, New York, NY, USA, pp. 90-102. ISBN 3540539824
Meyer, J.J.C. and Wieringa, R.J. (1991) Actor-Oriented System Specification with Dynamic Logic. In: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 8-12 Apr 1991, Brighton, UK. pp. 337-357. Lecture Notes in Computer Science 494. Springer. ISBN 3540539816

This list was generated on Mon May 22 02:35:32 CEST 2017.