Springer
doi.org/10.1007/978-3-319-03542-0_1
Lecture Notes in Computer Science
Asian Symposium on Programming Languages and Systems
Computer Security

Bonchi, F., Caltais, G., Pous, D., & Silva, A. (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