TY  - BOOK
AU  - Krystosik, Artur
PY  - 2008
TI  - EMLAN: język modelowania i formalnej weryfikacji oprogramowania systemów wbudowanych
T2  - 
SP  - 
EP  - 
VL  - 
ER  -