Skip to content

Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems.

Julien Bertrane

VenueBSAS
Year2006
ProceedingsSAS

Browse the full SAS paper archive.