Jump to Navigation

Verification of dynamic data tree with mu-calculus extended with separation

TitleVerification of dynamic data tree with mu-calculus extended with separation
Publication TypeConference Paper
Year of Publication2010
AuthorsGallardo, M-del-M., and D. Sanán
Conference NameVíctor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010
Date Publishedoct
PublisherIbergarceta Publicaciones, S.L.
Conference LocationMadrid
ISBN Number978-84-92812-55-4


Main menu 2

Biblio | by Dr. Radut