Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It
| Data(s) |
1988
|
|---|---|
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
Sören Holmström .Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It.见:Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems .Stirling, Scotland.1988. |
| Tipo |
会议论文 |
