%0 Thesis %1 phd/ethos/Clemente12 %A Clemente, Lorenzo %D 2012 %K %T Generalized simulation relations with applications in automata theory.

@phdthesis{phd/ethos/Clemente12, added-at = {2023-12-12T19:22:47.000+0100}, author = {Clemente, Lorenzo}, biburl = {https://www.bibsonomy.org/bibtex/2018660d23efebebd02d0374be1ad6bba/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.563721}, interhash = {1fd53e0983133a831bf58ec92d80563c}, intrahash = {018660d23efebebd02d0374be1ad6bba}, keywords = {}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2023-12-12T19:22:47.000+0100}, title = {Generalized simulation relations with applications in automata theory.}, year = 2012 }