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

11 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
Pages35-45
DOIs
Publication statusPublished - 2005

Publication series

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

Cite this