Additional Metadata
THEME Software (theme 1)
Publisher Springer
Persistent URL dx.doi.org/10.1007/978-3-319-03542-0_1
Series Lecture Notes in Computer Science
Conference Asian Symposium on Programming Languages and Systems
Citation
Bonchi, F, Caltais, G, Pous, D, & Silva, A.M. (2013). Brzozowski's and up-to algorithms for must testing. In Lecture Notes in Computer Science. Springer. doi:10.1007/978-3-319-03542-0_1