Branching Bisimulation and Concurrent Object Verification

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

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

Identifikationsnummern