OREGON STATE UNIVERSITY

You are here

Model Checking Software: Proceedings of the 18th International SPIN Workshop

TitleModel Checking Software: Proceedings of the 18th International SPIN Workshop
Publication TypeBook
Year of Publication2011
AuthorsGroce, A., and M. Musuvathi
Volume6823
Date Published2011
PublisherSpringer Berlin Heidelberg
CityBerlin, Heidelberg
ISBN Number978-3-642-22306-8
ISBN1611-3349