EEMCS

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

EEMCS EPrints Service


Editor: Cavalli, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

1998

Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) An Algebraic Semantics for Message Sequence Chart Documents. In: Formal Decription Techniques (FORTE). pp. 3-18. IFIP Conference Proceedings 135. Chapman & Hall. ISBN 0-412-84760-4

1995

Tretmans, G.J. (1995) Testing Labelled Transition Systems with Inputs and Outputs. In: Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session, 4-6 Sept 1995, Evry, France. pp. 461-476. Institut National des Télécommunications. ISBN not assigned

This list was generated on Sun Apr 23 23:16:02 CEST 2017.