TY  - GEN

T1  - Two Logical Characterizations for Input-Output Conformance

JO  - Electronic Proceedings in Theoretical Computer Science

UR  - https://doi.org/10.4204/eptcs.160.5

PY  - 2014/07/01

AU  - Beohar H

AU  - Mousavi MR

ED  - 

DO  - DOI: 10.4204/eptcs.160.5

PB  - Open Publishing Association

VL  - 160

SP  - 47

EP  - 47

Y2  - 2025/11/20

ER  -