Publication | Closed Access
Pushdown Processes: Games and Model-Checking
182
Citations
6
References
2001
Year
EngineeringRuntime VerificationFormal ModelingAutomated ReasoningGame TheoryVerificationPushdown ProcessesFormal MethodsSoftware AnalysisBusinessComputer ScienceModel CheckingGamesFormal VerificationMechanism Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1