Gert-Jan van der Heijden

Publication Activity (10 Years)

Years Active: 1991-1993
Publications (10 Years): 0

Publications

Ing Widya, Gert-Jan van der Heijden
Towards an Implementation-oriented Specification of TP Protocol in LOTOS. FME (1993)
Ing Widya, Franck Sadoun, Gert-Jan van der Heijden
Specification of a Distributed Coordination Function in LOTOS. FORTE (1991)