Statistics
Publications
1
Citations
78
H-Index
1
Active since
1990
Affiliations
University of Luxembourg(Current)
G. J. Veltink is an author at University of Luxembourg specializing in program correctness, concurrent processes, and communicating sequential processes.
Publications per year
1990–1990
1
1
A Process Specification Formalism1
Sjouke Mauw, G. J. Veltink · Fundamenta Informaticae · 1990 · 78 citations · Full text
1–1 of 1