You are here

Home › Research › Publications ›

Foreword–-Special Issue on Parallel and Distributed Model Checking

TitleForeword–-Special Issue on Parallel and Distributed Model Checking
Publication TypeJournal Article
Year of Publication2006
AuthorsBrim, L, Leucker, M
JournalLecture Notes in Computer Science
Volume29
URLhttp://dx.doi.org/10.1007/s10703-006-0010-5
Bibtex: 
@article {BrimL06,
	title = {Foreword{\textendash}-Special Issue on Parallel and Distributed Model Checking},
	journal = {Lecture Notes in Computer Science},
	volume = {29},
	number = {2},
	year = {2006},
	publisher = {Springer-Verlag},
	url = {http://dx.doi.org/10.1007/s10703-006-0010-5},
	author = {Lubos Brim and Martin Leucker}
}