logo
BibTeX Entry


@phdthesis{Mats:PhD:thesis,
  author	= {Kindahl, M.},
  title		= {Verification of Infinite-State Systems: Decision Problems and Efficient Algorithms},
  school	= {Dept. of Computer Systems, Uppsala University, Swden},
  number	= {110},
  year		= {1999},
  homepage	= {http://publications.uu.se/abstract.xsql?dbid=1167}
}