Relating apartness and branching bisimulation games

First Author: Rot J.

Attributed to: Quantitative verification of software families based on coalgebraic modal logic and games funded by EPSRC

No abstract provided

Type: Other