Publication | Closed Access
Symbolic Model Checking with Partitioned Transistion Relations.
271
Citations
0
References
1991
Year
EngineeringAutomated ReasoningVerificationFormal MethodsSymbolic Model CheckingComputer-aided VerificationEquivalence CheckingComputer ScienceModel CheckingFormal Verification
No additional data available for this publication yet. Check back later!