Cercar per Autor Lacerda, Bruno
Mostrant resultats 1 a 1 de 1
Accés | Vista prèvia | Data publicació | Títol | Autor/s |
---|---|---|---|---|
de març-2008 | Linear-time temporal logic control of discrete event models of cooperative robots | Lacerda, Bruno; Lima, Pedro |