Publication | Closed Access
Parallel Model Checking for the Alternation-Free Mu-Calculus
34
Citations
0
References
2000
Year
Parallel Model CheckingEngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided VerificationParallel ProgrammingComputer ScienceEquivalence CheckingModel CheckingFormal Verification
No additional data available for this publication yet. Check back later!