Assumpte: Automated synthesis of reactive controllers

Heu sol·licitat donar-vos de baixa de la llista syntcomp

Per processar la sol·licitud, premeu el botó més avall: