@article{article, title  = {{Formally based tool support for model checking Erlang applications}},

 url = {{}},

 year = {{2010}},

 month = {{1}},

 author = {{Guo Q and Derrick J}},

 journal = {{International Journal on Software Tools for Technology Transfer}},

 pages = {{1-22}},

 note = {{Accessed on 2024/12/20}}}