Concepedia

Allan van Hulst

AV

Statistics

Publications

1

Citations

21

H-Index

1

Active since

2011

Affiliations

Eindhoven University of Technology(Current)

Allan van Hulst is an author at Eindhoven University of Technology specializing in automated reasoning, formal verification, and formal methods.

Top concepts

Publications per year

2011–2011

1

Publications

1

A Process Algebra for Supervisory Coordination

J. C. M. Baeten, Bert van Beek, Allan van Hulst et al. · Electronic Proceedings in Theoretical Computer Science · 2011 · 21 citations · Full text

, , +15

Rows per page

1–1 of 1