Publication | Open Access
A Partial Order Approach to Branching Time Logic Model Checking
101
Citations
19
References
1999
Year
EngineeringProgram AnalysisAutomated ReasoningPartial Order ApproachVerificationFormal MethodsComputer-aided VerificationSystems EngineeringEquivalence CheckingComputer ScienceTemporal LogicModel CheckingModel VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1