1
Foundational and Practical Aspects of Resource Analysis [E-Book] : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /
Other Personal Name(s): “...van Eekelen, Marko...”

Full text 
Favorites
Saved in:
2
Foundational and Practical Aspects of Resource Analysis [E-Book] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /
Other Personal Name(s): “...Eekelen, Marko....”

Full text 
Favorites
Saved in:
3
Interactive Theorem Proving [E-Book] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /
Other Personal Name(s): “...Eekelen, Marko....”

Full text 
Favorites
Saved in:

Narrow Search Results