Two Logical Characterizations for Input-Output Conformance

Reference

Harsh Beohar and Mohammad Mousavi. Two logical characterizations for input-output conformance. In Preproceedings of EXPRESS/SOS'14 (Short paper), July 2014.

Suggested BibTeX entry:

@misc{sos:2014,
    author = {Harsh Beohar and Mohammad Mousavi},
    howpublished = {In Preproceedings of EXPRESS/SOS'14 (Short paper)},
    month = {July},
    title = {Two Logical Characterizations for Input-Output Conformance},
    year = {2014}
}

This work is not available online here.