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, Sanán D
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