BibTeX Entry

Back to list

@article{Parosh:etal:bisim,
  author	= {Abdulla, Parosh Aziz and Kaati, Lisa and Nilsson, Marcus},
  title		= {Minimization of Non-Deterministic Automata with Large Alphabets},
  journal	= {Proc. CIAA'05-10th International Conference on Implementation and Application of Automata},
  year		= {2005},
  URL		= {files/ciaa05.ps}
}