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