Publications

Brzozowski's and Up-To Algorithms for Must Testing

AuthID
P-009-4PP

Author(s)

Bonchi, F

Caltais, G

Pous, D

Silva, A

Editor(s)

Chung-chieh Shan

Document Type

Proceedings Paper

Year published

2013

Published

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, Pages: 1-16

Conference

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

Indexing