Publications en collaboration avec des chercheurs de Basque Research and Technology Alliance (1)

2020

  1. One-pass context-based tableaux systems for CTL and ECTL

    Leibniz International Proceedings in Informatics, LIPIcs