A state space distribution policy based on abstract interpretation

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)
Originele taal-2Engels
TitelProceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004)
RedacteurenL. Brim, M. Leucker
Pagina's35-45
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume128(3)
ISSN van geprinte versie1571-0061

Citeer dit

Orzan, S. M., Pol, van de, J. C., & Valero Espada, M. A. (2005). A state space distribution policy based on abstract interpretation. In L. Brim, & M. Leucker (editors), Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004) (blz. 35-45). (Electronic Notes in Theoretical Computer Science; Vol. 128(3)). https://doi.org/10.1016/j.entcs.2004.10.017