Mauricio Varea. Modelling and verification of embedded systems based on Petri net oriented representations. PhD thesis, University of Southampton, UK, 2003. [doi]
@phdthesis{ethos-6179,
title = {Modelling and verification of embedded systems based on Petri net oriented representations},
author = {Mauricio Varea},
year = {2003},
url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.423219},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-6179},
cites = {0},
citedby = {0},
school = {University of Southampton, UK},
}