On decision problems of recognizable trace languages

Daniel Kirsten. On decision problems of recognizable trace languages. PhD thesis, Dresden University of Technology, Germany, 1999. [doi]

Abstract

Abstract is missing.