Branching Bisimulation and Concurrent Object Verification

Piscataway, NJ / IEEE (2018) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

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

Identifier