Volver atrás Publicación
MARCO COMINI, Titolo Laura, Villanueva García Alicia
2013
Towards an Effective Decision Procedure for LTL formulas with Constraints.