Gert-Jan van der Heijden

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]