Efficient Symbolic Model Checking for Process Algebras

Technical Report PDF: 
Technical Report Number: 
2008.104
TitleEfficient Symbolic Model Checking for Process Algebras
Publication TypeConference Paper
Year of Publication2008
AuthorsMeulen, JV, Pecheur C
Conference NameFMICS