Parallel Saturation Based Model Checking

TitleParallel Saturation Based Model Checking
Publication TypeConference Paper
Year of Publication2011
AuthorsVörös, A., Bartha, T., Darvas, D., Szabó, T., Jámbor, A., and Horváth, Á.
Conference NameThe 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011)
Date Published07/2011
PublisherIEEE Computer Society
Conference LocationCluj Napoca
ISBN Number978-1-4577-1536-5