Dario Fischbein. Foundations for behavioural model elaboration using modal transition systems. PhD thesis, Imperial College London, UK, 2012. [doi]
@phdthesis{ethos-1934, title = {Foundations for behavioural model elaboration using modal transition systems}, author = {Dario Fischbein}, year = {2012}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.560671}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-1934}, cites = {0}, citedby = {0}, school = {Imperial College London, UK}, }