EEMCS

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

EEMCS EPrints Service


Classification: FMT-CBD: CORRECTNESS BY DESIGN
Home Policy Brochure Browse Search User Area Contact Help

2009

Kuijper, W. and van de Pol, J.C. (2009) Compositional Control Synthesis for Partially Observable Systems. In: CONCUR 2009 - Concurrency Theory, 1-4 Sep 2009, Bologna, Italy. pp. 431-447. Lecture Notes in Computer Science 5710. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04080-1

2001

Brinksma, H. (2001) Verification is experimentation! Software Tools for Technology Transfer, 3 (2). pp. 107-217. ISSN 1433-2779

1996

Brunekreef, J.J. and Katoen, J.P. and Koymans, R.L.C. and Mauw, S. (1996) Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing, 9 (4). pp. 157-171. ISSN 0178-2770 *** ISI Impact 1,263 ***
Katoen, J.P. and Schoenmakers, B. (1996) Systolic Arrays for the Recognition of P-invariant Segments. Science of Computer Programming, 27. pp. 119-137. ISSN 0167-6423 *** ISI Impact 0,828 ***