%0 Thesis %1 phd/ethos/Morse15 %A Morse, Jeremy %D 2015 %K dblp %T Expressive and efficient bounded model checking of concurrent software.

@phdthesis{phd/ethos/Morse15, added-at = {2022-04-05T00:00:00.000+0200}, author = {Morse, Jeremy}, biburl = {https://www.bibsonomy.org/bibtex/23fb0ae150dc2bef33d3512bf297907e2/dblp}, ee = {http://eprints.soton.ac.uk/379284/}, interhash = {a7a05b1905f1826f553f69da6ee8dba7}, intrahash = {3fb0ae150dc2bef33d3512bf297907e2}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Southampton, UK}, timestamp = {2024-04-09T08:50:01.000+0200}, title = {Expressive and efficient bounded model checking of concurrent software.}, year = 2015 }