Koichi Takahashi, Masami Hagiya. Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. In The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings. pages 1-8, 2000.
No references recorded for this publication.
No citations of this publication recorded.