%0 Conference Paper %1 conf/aplas/BonchiCPS13 %A Bonchi, Filippo %A Caltais, Georgiana %A Pous, Damien %A Silva, Alexandra %B APLAS %D 2013 %E chieh Shan, Chung %I Springer %K dblp %P 1-16 %T Brzozowski's and Up-To Algorithms for Must Testing. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2013.html#BonchiCPS13 %V 8301 %@ 978-3-319-03541-3

@inproceedings{conf/aplas/BonchiCPS13, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bonchi, Filippo and Caltais, Georgiana and Pous, Damien and Silva, Alexandra}, biburl = {https://www.bibsonomy.org/bibtex/2f364d7f65f51d31c0925492e6a47f9d9/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2013}, editor = {chieh Shan, Chung}, ee = {https://doi.org/10.1007/978-3-319-03542-0_1}, interhash = {003fd00f86684ad9a9bf89bce4a220c9}, intrahash = {f364d7f65f51d31c0925492e6a47f9d9}, isbn = {978-3-319-03541-3}, keywords = {dblp}, pages = {1-16}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:40:45.000+0200}, title = {Brzozowski's and Up-To Algorithms for Must Testing.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2013.html#BonchiCPS13}, volume = 8301, year = 2013 }