Citation

  Simão, T. D., Nunes de Barros, L., & Pereira, S. L. Dead-Ends Detection via Symbolic Model-Checking.

@inproceedings{Simao20XX,
  author = {Sim{\~a}o, Thiago D. and {Nunes de Barros}, Leliane and Pereira, Silvio L.},
  title = {{Dead-Ends Detection via Symbolic Model-Checking}},
  note = {under review}
}