Login / Signup
Francois D. Carrez
Publication Activity (10 Years)
Years Active: 1988-1988
Publications (10 Years): 0
</>
Publications
</>
Francois D. Carrez
,
Dominique Méry
Temporal Specifications Directed by Grammar and Design of Process Networks.
Specification and Verification of Concurrent Systems
(1988)