Visible Bisimulation Equivalence — A Unified Abstraction for Temporal Logic Verification
Lennartson, Bengt, Noori-Hosseini, MonaVolume:
51
Year:
2018
Language:
english
Journal:
IFAC-PapersOnLine
DOI:
10.1016/j.ifacol.2018.06.332
File:
PDF, 470 KB
english, 2018