TY  - THES

T1  - Refinement of communication and states in models of embedded systems

PY  - 2013/01/01

AU  - Beohar H

ED  - 

Y2  - 2026/02/24

ER  -