Synthesis of Reactive(1) designs
Bloem, Roderick ; Jobstmann, Barbara ; Piterman, Nir ; Pnueli, Amir ; Saʼar, Yaniv
Journal of computer and system sciences, 2012-05, Vol.78 (3), p.911-938
[Periódico revisado por pares]
Elsevier Inc
Texto completo disponível