DMCA

An Overview of the mCRL2 Toolset and its Recent Advances

by S. Cranen , J. F. Groote , J. J. A. Keiren , E. P. De Vink , J. W. Wesselink , T. A. C. Willemse
Citations:6 - 4 self