EEMCS

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

EEMCS EPrints Service


Editor: Lau, K.K.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2005

Brandán Briones, L. and Brinksma, H. (2005) Testing multi input-output real-time systems. In: Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, 1-4 Nov 2005, Manchester, UK. pp. 264-279. Lecture Notes in Computer Science 3785. Springer Verlag. ISBN 3 540 29797 9

2000

Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2000) A semantics for persistency in propositional dynamic logic. In: First International Conference on Computational Logic (CL2000), 24-28 July 2000, London, UK. pp. 912-925. Lecture Notes in Artificial Intelligence 1861. Springer. ISSN 0302-9743 ISBN 978-3-540-67797-0

This list was generated on Mon Apr 24 02:39:26 CEST 2017.