Julien Bertrane

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Julien Bertrane: Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. SAS 2006: 370-386

2005

1 Julien Bertrane: Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. VMCAI 2005: 97-112

	2006
2		Julien Bertrane: Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. SAS 2006: 370-386
	2005
1		Julien Bertrane: Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. VMCAI 2005: 97-112