TY  - JOUR

T1  - Formally based tool support for model checking Erlang applications

JO  - International Journal on Software Tools for Technology Transfer

PY  - 2010/01/01

AU  - Guo Q

AU  - Derrick J

ED  - 

SP  - 1

EP  - 22

Y2  - 2024/12/22

ER  -