Bernard Algayres

Publication Activity (10 Years)

Years Active: 1993-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)