Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection.

Koichi Takahashi, Masami Hagiya

Browse the full APLAS paper archive.