Publication | Open Access
On-the-fly verification of finite transition systems
60
Citations
20
References
1992
Year
Finite Transition SystemsEngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided VerificationSystems EngineeringComputer ScienceModel CheckingFinite-state SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1