EEMCS

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

EEMCS EPrints Service


Editor: Talcott, C.L.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2000

Eshuis, H. and Wieringa, R.J. (2000) Requirements Level Semantics for UML Statecharts. In: 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), 6-8 Sept 2000, Stanford, California, USA. pp. 121-140. IFIP Conference Proceedings 177. Kluwer Academic Publishers. ISBN 0792379233
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'2000). pp. 305-326. Kluwer Academic Publishers. ISBN 0-7923-7923-3

This list was generated on Mon May 29 06:15:28 CEST 2017.