Davide Pereira Nabais
AuthID: R-000-X5N
1
TÃTULO: State Elimination Ordering Strategies: Some Experimental Results Full Text
AUTORES: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLICAÇÃO: 2010, FONTE: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., VOLUME: 31
AUTORES: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLICAÇÃO: 2010, FONTE: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., VOLUME: 31
