@phdthesis{HeljankoLic,
author = {Heljanko, Keijo},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {Deadlock and Reachability Checking with Finite Complete Prefixes},
type = {Licentiate's thesis},
year = {1999},
}