Efficient Symbolic Model Checking for Process Algebras

TitleEfficient Symbolic Model Checking for Process Algebras
Publication TypeConference Paper
Year of Publication2008
AuthorsMeulen, JV, Pecheur C
Conference NameProceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila, Italy
PublisherSpringer
URLhttp://lvl.info.ucl.ac.be/Publications/EfficientSymbolicModelCheckingForProcessAlgebras