%0 Thesis %1 phd/ethos/Arya88 %A Arya, Kavi %D 1988 %K dblp %T The formal analysis of a functional animation system.

@phdthesis{phd/ethos/Arya88, added-at = {2022-04-05T00:00:00.000+0200}, author = {Arya, Kavi}, biburl = {https://www.bibsonomy.org/bibtex/294f00655507f9e0629a89b3c28b03d51/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235995}, interhash = {7cf5a77e3fa046fce91e5f9e19139576}, intrahash = {94f00655507f9e0629a89b3c28b03d51}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2024-04-09T08:47:10.000+0200}, title = {The formal analysis of a functional animation system.}, year = 1988 }