Bert van Beek

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski
A Process Algebra for Supervisory Coordination PACO (2011)
Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn
The Hierarchical Compositional Interchange Format. FMCO (2010)
Pieter Mostennan, Michael Clune, Bert van Beek, Bruce H. Krogh, Alberto L. Sangiovanni-Vincentelli
Challenges and solution techniques for hybrid simulation. CDC (2004)