Invariants, Bisimulations and the Correctness of Coalgebraic Refinements (1997)

Cached

Download Links

by Bart Jacobs
Venue:Techn. Rep. CSI-R9704, Comput. Sci. Inst., Univ. of Nijmegen
Citations:12 - 4 self