Relating Alternating Relations for Conformance and Refinement.

Ramon Janssen, Frits W. Vaandrager, Jan Tretmans

Browse the full IFM paper archive.