%0 Thesis %1 phd/ethos/Chen01a %A Chen, Yifeng %D 2001 %K dblp %T Formal methods for global synchrony.

@phdthesis{phd/ethos/Chen01a, added-at = {2022-04-05T00:00:00.000+0200}, author = {Chen, Yifeng}, biburl = {https://www.bibsonomy.org/bibtex/2b4573e6bb17a0e2bbdf0b536f7e80dde/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365295}, interhash = {bc7c7f6f28e55b3934fabcbb714bbf84}, intrahash = {b4573e6bb17a0e2bbdf0b536f7e80dde}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2024-04-09T08:51:24.000+0200}, title = {Formal methods for global synchrony.}, year = 2001 }