Assumpte: Automated synthesis of reactive controllers

Heu demanat una subscripció a la llista syntcomp Per processar la sol·licitud, premeu el botó més avall: