Property verification of asynchronous systems

Antonio Cerone, George J. Milne. Property verification of asynchronous systems. ISSE, 1(1):25-40, 2005. [doi]

Abstract

Abstract is missing.