Publication | Open Access
Model checking for probabilistic timed automata
112
Citations
38
References
2012
Year
Logical AutomatonEngineeringAutomated ReasoningVerificationFormal MethodsComputer ScienceModel CheckingTimed SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1