%0 Conference Paper %1 conf/tap/BruckerW16 %A Brucker, Achim D. %A Wolff, Burkhart %B TAP %D 2016 %E Aichernig, Bernhard K. %E Furia, Carlo A. %I Springer %K dblp %P 17-36 %T Monadic Sequence Testing and Explicit Test-Refinements. %U http://dblp.uni-trier.de/db/conf/tap/tap2016.html#BruckerW16 %V 9762 %@ 978-3-319-41134-7

@inproceedings{conf/tap/BruckerW16, added-at = {2017-05-19T00:00:00.000+0200}, author = {Brucker, Achim D. and Wolff, Burkhart}, biburl = {https://www.bibsonomy.org/bibtex/27df4faf9a15d4c2858326d4a63decee3/dblp}, booktitle = {TAP}, crossref = {conf/tap/2016}, editor = {Aichernig, Bernhard K. and Furia, Carlo A.}, ee = {https://doi.org/10.1007/978-3-319-41135-4_2}, interhash = {ce03ea7c782dfeddd7e9a6dd90e38cc0}, intrahash = {7df4faf9a15d4c2858326d4a63decee3}, isbn = {978-3-319-41134-7}, keywords = {dblp}, pages = {17-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:28:31.000+0200}, title = {Monadic Sequence Testing and Explicit Test-Refinements.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2016.html#BruckerW16}, volume = 9762, year = 2016 }