@inproceedings{DBLP:conf/sas/Bertrane06,
author = {Julien Bertrane},
title = {Proving the Properties of Communicating Imperfectly-Clocked
Synchronous Systems},
booktitle = {SAS},
year = {2006},
pages = {370-386},
ee = {http://dx.doi.org/10.1007/11823230_24},
crossref = {DBLP:conf/sas/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sas/2006,
editor = {Kwangkeun Yi},
title = {Static Analysis, 13th International Symposium, SAS 2006,
Seoul, Korea, August 29-31, 2006, Proceedings},
booktitle = {SAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4134},
year = {2006},
isbn = {3-540-37756-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
