User Tools

Site Tools


vanbeek:publications

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
vanbeek:publications [Tuesday, 19 January 2010 : 10:34:23]
vanbeek
vanbeek:publications [Monday, 06 January 2014 : 12:47:09]
vanbeek
Line 5: Line 5:
 J.C.M. Baeten, D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers,​ R.J.M. Theunissen, J.C.M. Baeten, D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers,​ R.J.M. Theunissen,
 {{entcslin08.pdf|Model-based engineering of embedded systems using the hybrid process algebra Chi}}, ​ {{entcslin08.pdf|Model-based engineering of embedded systems using the hybrid process algebra Chi}}, ​
-Electronic Notes in Theoretical Computer Science, vol. 209, 21-53, 2008[[http://​dx.doi.org/​10.1016/​j.entcs.2008.04.003 |DOI link]]+Electronic Notes in Theoretical Computer Science, vol. 209, 21-53, 2008[[http://​dx.doi.org/​10.1016/​j.entcs.2008.04.003 |DOI link]].
  
 D.A. van Beek, J.E. Rooda, R.R.H. Schiffelers,​ K.L. Man, M.A. Reniers, D.A. van Beek, J.E. Rooda, R.R.H. Schiffelers,​ K.L. Man, M.A. Reniers,
 {{entcs06.pdf|Relating hybrid Chi to other formalisms}}, ​ {{entcs06.pdf|Relating hybrid Chi to other formalisms}}, ​
-Electronic Notes in Theoretical Computer Science, vol. 191, 85-113, 2007[[http://​dx.doi.org/​10.1016/​j.entcs.2006.09.041 |DOI link]] ​+Electronic Notes in Theoretical Computer Science, vol. 191, 85-113, 2007[[http://​dx.doi.org/​10.1016/​j.entcs.2006.09.041 |DOI link]].
  
 D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers,​ D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers,​
 [[jlap05|Syntax and Consistent Equation Semantics of Hybrid Chi]], ​ [[jlap05|Syntax and Consistent Equation Semantics of Hybrid Chi]], ​
 Journal of Logic and Algebraic Programming,​ special issue on hybrid systems, ​ Journal of Logic and Algebraic Programming,​ special issue on hybrid systems, ​
-vol. 68, no. 1-2, 129-210, 2006.+vol. 68, no. 1-2, 129-210, 2006, [[http://​dx.doi.org/​10.1016/​j.jlap.2005.10.005|DOI link]].
  
 D.A. van Beek, V. Bos, J.E. Rooda, ​ D.A. van Beek, V. Bos, J.E. Rooda, ​
vanbeek/publications.txt · Last modified: Monday, 06 January 2014 : 12:47:09 by vanbeek