Proceedings of the $3rd$ Workshop on Parallel and Distributed Methods for Verification

TitleProceedings of the $3rd$ Workshop on Parallel and Distributed Methods for Verification
Publication TypeConference Proceedings
Year of Publication2005
EditorBrim, L, Leucker, M
Conference NameElectronic Notes in Computer Science
Volume128/3
PublisherElsevier Science Publishers
Bibtex: 
@proceedings {BrimLeucker05,
	title = {Proceedings of the $3rd$ Workshop on Parallel and Distributed Methods for Verification},
	journal = {Electronic Notes in Computer Science},
	volume = {128/3},
	year = {2005},
	publisher = {Elsevier Science Publishers},
	editor = {Lubos Brim and Martin Leucker}
}