Bas van Vlijmen

	1998
2		Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen: EURIS, a Specification Method for Distributed Interlockings. SAFECOMP 1998: 296-305
	1997
1		Alban Ponse, Chris Verhoef, Bas van Vlijmen: Algebra of Communicating Processes - Preface to the Special Issue. Theor. Comput. Sci. 177(2): 285-286 (1997)

Coauthor Index

1	Fokko van Dijk	[2]
2	Wan Fokkink	[2]
3	Gea Kolk	[2]
4	Alban Ponse	[1]
5	Paul van de Ven	[2]
6	Chris Verhoef	[1]