Jump to Navigation

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., and D. Sanán
JournalAutomated Software Engineering
Paginationonline first
Date Publishedoct
ISSN1573-7535


Main menu 2

Biblio | by Dr. Radut