L. Doldi

	1993
2		B. Algayres, V. Coelho, L. Doldi, Hubert Garavel, Y. Lejeune, C. Rodríguez: VESAR: A Pragmatic Approach to Formal Specification and Verification. Computer Networks and ISDN Systems 25(7): 779-790 (1993)
	1992
1		L. Doldi, P. Gauthier: VEDA 2: Power to the protocol designers. FORTE 1992: 3-13

Coauthor Index

1	B. Algayres	[2]
2	V. Coelho	[2]
3	Hubert Garavel	[2]
4	P. Gauthier	[1]
5	Y. Lejeune	[2]
6	C. Rodríguez	[2]

Colors in the list of coauthors