Jürgen Christ, Jochen Hoenicke
Cutting the Mix
CAV, 2015.
@inproceedings{CAV-2015-ChristH, author = "Jürgen Christ and Jochen Hoenicke", booktitle = "{Proceedings of the 27th International Conference on Computer Aided Verification, Part II}", doi = "10.1007/978-3-319-21668-3_3", isbn = "978-3-319-21667-6", pages = "37--52", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Cutting the Mix}", volume = 9207, year = 2015, }