Gert-Jan van der Heijden

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

2 Ing Widya, Gert-Jan van der Heijden: Towards an Implementation-oriented Specification of TP Protocol in LOTOS. FME 1993: 93-109

1991

1 Ing Widya, Franck Sadoun, Gert-Jan van der Heijden: Specification of a Distributed Coordination Function in LOTOS. FORTE 1991: 133-148

1993
2		Ing Widya, Gert-Jan van der Heijden: Towards an Implementation-oriented Specification of TP Protocol in LOTOS. FME 1993: 93-109
1991
1		Ing Widya, Franck Sadoun, Gert-Jan van der Heijden: Specification of a Distributed Coordination Function in LOTOS. FORTE 1991: 133-148

Coauthor Index

1 Franck Sadoun [1]

2 Ing Widya [1] [2]