Deriving bisimulation relations from path based equivalence checkers
From MaRDI portal
Publication:520250
DOI10.1007/s00165-016-0406-yzbMath1358.68067OpenAlexW2559705703MaRDI QIDQ520250
Kunal Banerjee, Dipankar Sarkar, Chittaranjan Mandal
Publication date: 3 April 2017
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-016-0406-y
Related Items
Cites Work