Showing 1 - 3 results of 3 for search 'Eekelen, Marko van', query time: 0.02s Refine Results
  1. 1
    Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers /
    Published 2010
    Other Authors: “…Eekelen, Marko van…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /
    Published 2012
    Other Authors: “…Eekelen, Marko van…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /
    Published 2011
    Other Authors: “…Eekelen, Marko van…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search