A state space distribution policy based on abstract interpretation

S.M. Orzan, J.C. Pol, van de, M.A. Valero Espada

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004)
EditorsL. Brim, M. Leucker
Publication statusPublished - 2005

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Print)1571-0061

Cite this