Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

75

Voted

TAICPART
2010
IEEE

137views Education» more TAICPART 2010»

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang

15 years 1 months ago

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang

Download www2010.taicpart.org

Qiang Guo, John Derrick, Clara Benac Earle, Lars-&

Real-time Traffic

Education | TAICPART 2010 |

claim paper

Related Content

» Model checking erlang programs the functional approach

Post Info
More Details (n/a)

Added	30 Jan 2011
Updated	30 Jan 2011
Type	Journal
Year	2010
Where	TAICPART
Authors	Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund

Comments (0)