%0 Thesis %1 phd/ethos/Kochems14 %A Kochems, Jonathan %D 2014 %K %T Verification of asynchronous concurrency and the shaped stack constraint.

@phdthesis{phd/ethos/Kochems14, added-at = {2023-12-13T01:40:05.000+0100}, author = {Kochems, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/240a92fbc6fe730c4d8c8e2b525115b2a/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664795}, interhash = {74b4a7c591bd1eb8f1fcccbbb867d43c}, intrahash = {40a92fbc6fe730c4d8c8e2b525115b2a}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-13T01:40:05.000+0100}, title = {Verification of asynchronous concurrency and the shaped stack constraint.}, year = 2014 }