Marc Voorhoeve: Technical Reports and pre-publications

If you are interested in a file that is not available here, or if you have any questions or comments, feel free to email me at:

wsinmarc@win.tue.nl

  1. M. Voorhoeve. Compositional modeling and verification of workflow processes
    (abstract / postscript).
  2. M. Voorhoeve, S. Mauw. Impossible Futures and Determinism
    (abstract / pdf).