Francois D. Carrez

List of publications from the DBLP Bibliography Server - FAQ

1988

1 Francois D. Carrez, Dominique Méry: Temporal Specifications Directed by Grammar and Design of Process Networks. Specification and Verification of Concurrent Systems 1988: 410-427

1988
1		Francois D. Carrez, Dominique Méry: Temporal Specifications Directed by Grammar and Design of Process Networks. Specification and Verification of Concurrent Systems 1988: 410-427

Coauthor Index