Francois D. Carrez

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page