Gerrit Jan Veltink

Hochschule Emden Leer - Emden / Germany

Business & Management / Communications and Media Studies

AD Scientific Index ID: 1759215

Emden/Leer University of Applied Sciences

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Hochschule Emden Leer

Gerrit Jan Veltink's MOST POPULAR ARTICLES

1-) A process specification formalism Fundamenta Informaticae 13 (2), 85-139, 1990

2-) Algebraic specification of communication protocols Cambridge university press, 1993

3-) An introduction to PSFd International Joint Conference on Theory and Practice of Software …, 1989

4-) Learning industrial cyber-physical systems and industry 4.0-compliant solutions 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) 1, 384-390, 2020

5-) A proof assistant for PSF International Conference on Computer Aided Verification, 158-168, 1991

ARTICLES

Add your articles