dblp.uni-trier.dewww.uni-trier.de

Julien Bertrane

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)