![](/img/cover-not-exists.png)
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
Noori-Hosseini, Mona, Lennartson, Bengt, Hadjicostis, ChristoforosVolume:
51
Year:
2018
Language:
english
Journal:
IFAC-PapersOnLine
DOI:
10.1016/j.ifacol.2018.06.337
File:
PDF, 468 KB
english, 2018