2005 | ||
---|---|---|
2 | EE | Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha, Alcione Oliveira, Eliseu Miguel: What's the Name of the Game? Formal Specification of Artificial Intelligence Games. Electr. Notes Theor. Comput. Sci. 130: 129-150 (2005) |
1998 | ||
1 | Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha: Interacting Abstract State Machines. Workshop on Abstract State Machines 1998: 37-49 |
1 | Mariza Andrade da Silva Bigonha | [2] |
2 | Roberto da Silva Bigonha | [1] [2] |
3 | Marcelo de Almeida Maia | [1] |
4 | Eliseu Miguel | [2] |
5 | Alcione Oliveira | [2] |