![](/img/cover-not-exists.png)
[IEEE 2014 World Automation Congress (WAC) - Waikoloa, HI (2014.8.3-2014.8.7)] 2014 World Automation Congress (WAC) - A CTL model repair method for Petri Nets
Martinez-Araiza, Ulises, Lopez-Mellado, ErnestoYear:
2014
Language:
english
DOI:
10.1109/wac.2014.6936082
File:
PDF, 2.28 MB
english, 2014