Laurent Doldi

Publication Activity (10 Years)

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

Publications

Bernard Algayres, Veronigue Coelho, Laurent Doldi, Hubert Garavel, Yves Lejeune, Carlos Rodríguez
VESAR: A Pragmatic Approach to Formal Specification and Verification. Comput. Networks ISDN Syst. 25 (7) (1993)
Laurent Doldi, P. Gauthier
VEDA 2: Power to the protocol designers. FORTE (1992)