Concepedia

The Syntax and Semantics of mCRL

Jan Friso Groote, Alban Ponse, C. Verhoef, S.F.M. van Vlijmen

Data Archiving and Networked Services (DANS) · 1994 · 13 citations · 0 references

Concepts