Publications in collaboration with researchers from Basque Research and Technology Alliance (1)

2020

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

    Leibniz International Proceedings in Informatics, LIPIcs