Verification of complex dynamic data tree with mu-calculus

TitleVerification of complex dynamic data tree with mu-calculus
Publication TypeJournal Article
Year of Publication2012
AuthorsGallardo M-del-M, Sanán D
JournalAutomated Software Engineering
Paginationonline first
Date Publishedoct
ISSN1573-7535