Publication | Closed Access
Limits for automatic verification of finite-state concurrent systems
372
Citations
4
References
1986
Year
EngineeringAutomated ReasoningVerificationConcurrency TheoryFormal MethodsSystems EngineeringComputer ScienceConcurrent SystemFinite-state SystemAutomatic VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1