Mauricio Varea. Modelling and verification of embedded systems based on Petri net oriented representations. PhD thesis, University of Southampton, UK, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.