Search Results

AUTHOR:	`AHMED REZINE AND YUNYUN ZHU`
Found 1 entry

Verification of Cache Coherence Protocols wrt. Trace Filters
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine and Yunyun Zhu
Formal Methods in Computer-Aided Design (FMCAD) 2015

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan (v3.1, p5.2, September-2002-)