EEMCS

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

EEMCS EPrints Service


Editor: Madelaine, E.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2009

Chrząszcz, J. and Huisman, M. and Schubert, A. (2009) BML and Related Tools. In: Formal Methods for Components and Objects, 21-23 Oktober 2008, Sophia Antipolis, France. pp. 278-297. Lecture Notes in Computer Science 5751. Springer Verlag. ISBN 978-3-642-04166-2

This list was generated on Fri Apr 28 02:28:48 CEST 2017.