BibTeX Entry

Back to list

@techreport{ALOR:techreport,
  author	= {Abdulla, P. A. and Legay, A. and d'Orso, J. and Rezine, A.},
  title		= {Tree Regular Model Checking: {A} Simulation-Based Approach},
  institution	= {Centre Federe en Verification},
  note		= {available at http://www.montefiore.ulg.ac.be/\~{}legay/papers/paper-tree.ps},
  number	= {42},
  year		= {2005},
  URL		= {files/paper-tree.ps}
}