Buscar por Autor Lacerda, Bruno
Mostrando resultados 1 a 1 de 1
| Acceso | Vista previa | Fecha de publicación | Título | Autor/es |
|---|---|---|---|---|
 |  | mar-2008 | Linear-time temporal logic control of discrete event models of cooperative robots | Lacerda, Bruno; Lima, Pedro |