BibTeX Entry

Back to list

@techreport{Parosh:Aletta:BSTS:report,
  author	= {Abdulla, Parosh Aziz and Nyl{\'e}n, Aletta},
  title		= {Better-Structured Transition Systems},
  institution	= {Dept. of Information Technology, Uppsala University, Sweden},
  year		= {2004},
  number	= {2004-017},
  URL		= {files/2004-017.ps}
}