A Distributed Model Checking Tool Tailored to {E}rlang

TitleA Distributed Model Checking Tool Tailored to {E}rlang
Publication TypeConference Paper
Year of Publication2001
AuthorsLeucker, M, Noll, T
Conference NameProceedings of the Erlang Workshop
Bibtex: 
@inproceedings {LeuckerNoll01b,
	title = {A Distributed Model Checking Tool Tailored to {E}rlang},
	booktitle = {Proceedings of the Erlang Workshop},
	year = {2001},
	author = {Martin Leucker and Thomas Noll}
}