DOI,IST REx ID,Title of publication
10.1007/3-540-48683-6_27,4484,Verifying sequential consistency on shared-memory multiprocessor systems
10.1007/3-540-48683-6_20,4487,Assume-guarantee refinement between different time scales