Cornelis (Kees) Huizing - Research output - Research portal Eindhoven University of Technology

View Scopus Profile

Emailc.huizingtuenl

171

Citations - based on content available in repository [source: Scopus]

Content available in repository

26 Conference contribution
8 Article
5 Report
1 Book editing
More
- 1 Chapter
- 1 Phd Thesis 1 (Research TU/e / Graduation TU/e)

1 results

Filter

2010
A small step for mankind
Huizing, C., Koymans, R. L. C. & Kuiper, R., 2010, Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever). Dams, D., Hannemann, U. & Steffen, M. (eds.). Berlin: Springer, p. 66-73 8 p. (Lecture Notes in Computer Science; vol. 5930).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
4 Citations (Scopus)