Publication | Closed Access
Monitorability for the Hennessy–Milner logic with recursion
54
Citations
12
References
2017
Year
Computational LogicEngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationHennessy–milner LogicRecursive Function
| Year | Citations | |
|---|---|---|
Page 1
Page 1