Model-checking Erlang A Comparison between EtomCRL2 and McErlang Qiang Guo, John Derrick Clara Benac Earle and Lars-˚ Ake Fredlund

First Page		Document Content
Date: 2010-09-04 10:20:57		Model-checking Erlang A Comparison between EtomCRL2 and McErlang Qiang Guo, John Derrick Clara Benac Earle and Lars-˚ Ake Fredlund Add to Reading List Source URL: www2010.taicpart.org Download Document from Source Website File Size: 313,60 KB Share Document on Facebook