| Home | Curriculum | Research | Teaching | Publications | Students |

João Leitão's Homepage : Publications : BibTeX

@INPROCEEDINGS{dhtspec,
  author={Nuno Policarpo and Jos{\'e} Fragoso Santos and Alcino Cunha and Jo{\~a}o Leit{\~a}o, and Pedro {\'A}kos Costa},
  booktitle={2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE)}, 
  title={Specifying Distributed Hash Tables with Allen Temporal Logic},
  year={2025},
  volume={},
  number={},
  pages={},
  doi={}}