Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO

Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/39292

Title:	Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
Authors:	Parosh Abdulla Mohamed Faouzi Atig Yu-Fang Chen Carl Leonardsson Ahmed Rezine
Issue Date:	2013-03
Conference:	The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013) (Rome, Italy)
URI:	http://ir.sinica.edu.tw/handle/201000000A/39292
Appears in Collections:	資訊科學研究所

Show full item record

Check