%0 Thesis %1 phd/ethos/Jenkins12 %A Jenkins, Mark %D 2012 %K %T Synthesis and alternating automata over real time.

@phdthesis{phd/ethos/Jenkins12, added-at = {2023-12-13T06:16:55.000+0100}, author = {Jenkins, Mark}, biburl = {https://www.bibsonomy.org/bibtex/268b0700438e8e3b67c4010c4619d5448/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581018}, interhash = {ac196cda8a643df9c0a6b4a4904444ab}, intrahash = {68b0700438e8e3b67c4010c4619d5448}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-13T06:16:55.000+0100}, title = {Synthesis and alternating automata over real time.}, year = 2012 }