![](/img/cover-not-exists.png)
Modelling Peterson Mutual Exclusion Algorithm in DVE Language and Verifying LTL Properties
Long, Shi Gong, Yang, Han WenVolume:
577
Language:
english
Journal:
Applied Mechanics and Materials
DOI:
10.4028/www.scientific.net/AMM.577.1012
Date:
July, 2014
File:
PDF, 210 KB
english, 2014