Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Work
Year: 2010
Type: article
Source: Information and Computation
Institution Eindhoven University of Technology
Cites: 41
Cited by: 13
Related to: 10
FWCI: 0.885
Citation percentile (by year/subfield): 79.01
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed