Article SCOPUS
IJCAI International Joint Conference on Artificial Intelligence  (2018)

SynKit: LTL synthesis as a service

Baier, J. A.

Más información

Título según SCOPUS: SynKit: LTL synthesis as a service
Título de la Revista: IJCAI International Joint Conference on Artificial Intelligence
Volumen: 2018-July
Editorial: International Joint Conferences on Artificial Intelligence
Fecha de publicación: 2018
Página de inicio: 5817
Página final: 5819
Idioma: English
Notas: SCOPUS