Pascal Chambre

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1996

1 Pascal Chambre, Pierre Deransart, Jan Maluszynski: Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC 1996: 115-130

	1996
1		Pascal Chambre, Pierre Deransart, Jan Maluszynski: Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC 1996: 115-130

Coauthor Index

1 Pierre Deransart [1]

2 Jan Maluszynski [1]