Fair Bisimulation (2000)

by Thomas A. Henzinger , Sriram K. Rajamani
Venue:TACAS 00
Citations:7 - 0 self