Symbolic Distributed Verification of a Class of Parametric Concurrent Systems

Technical Report PDF: 
Technical Report Number: 
2002.4
TitleSymbolic Distributed Verification of a Class of Parametric Concurrent Systems
Publication TypeMiscellaneous
Year of Publication2002
AuthorsMassart, T, Raskin J-F, Van Begin L