TY  - GEN

T1  - Two Logical Characterizations for Input-Output Conformance

PY  - 2014/07/01

AU  - Beohar H

AU  - Mousavi MR

ED  - 

Y2  - 2024/10/23

ER  -