Branching Bisimulation and Concurrent Object Verification

Yang, Xiaoxiao (Corresponding author); Katoen, Joost-Pieter; Lin, Huimin; Liu, Gaoang; Wu, Hao

Piscataway, NJ : IEEE (2018)
Contribution to a book, Contribution to a conference proceedings

In: 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)/Article-Nr.: 267-278


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]