An abstract interpretation toolkit for μCRL
Work
Year: 2006
Type: article
Source: Formal Methods in System Design
Authors Miguel Valero Espada, Jaco van de Pol
Cites: 44
Cited by: 8
Related to: 10
FWCI: 0.303
Citation percentile (by year/subfield): 64.01
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed