![](/img/cover-not-exists.png)
Enforcing Opacity of Regular Predicates on Modal Transition Systems
Darondeau, PhilippeVolume:
45
Year:
2012
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20121003-3-mx-4033.00053
File:
PDF, 145 KB
english, 2012