vanbeek:publications
Differences
This shows you the differences between two versions of the page.
| 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] (current) 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
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
