Publicações

Brzozowski's and Up-To Algorithms for Must Testing

AuthID
P-009-4PP

Author(s)

Bonchi, F

Caltais, G

Pous, D

Silva, A

Editor(es)

Chung-chieh Shan

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8301 LNCS, Páginas: 1-16

Conference

11Th Asian Symposium on Programming Languages and Systems, Aplas 2013, Date: 9 December 2013 through 11 December 2013, Location: Melbourne, VIC, Patrocinadores: Asian Association for Foundation of Software (AAFS)

Indexing