Branching Bisimulation and Concurrent Object Verification

Piscataway, NJ / IEEE (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks : DSN 2018 : proceedings : 25-28 June 2018, Luxembourg City, Luxembourg / publisher: IEEE
Seite(n): 267-278

Autorinnen und Autoren

Autorinnen und Autoren

Yang, Xiaoxiao
Katoen, Joost-Pieter
Lin, Huimin
Liu, Gaoang
Wu, Hao