Publication | Closed Access
Model-Checking in Dense Real-Time
824
Citations
19
References
1993
Year
EngineeringDense Real-timeAutomated ReasoningVerificationFormal MethodsComputer-aided VerificationReal-time SystemsComputer ScienceModel CheckingModel VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1