发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Experiences in developing the mCRL2 toolset

J. F. Groote; J. J. A. Keiren; F. P. M. Stappers; J. W. Wesselink; T. A. C. Willemse

作者J. F. Groote; J. J. A. Keiren; F. P. M. Stappers; J. W. Wesselink; T. A. C. Willemse
卷第41卷
期第2期
印刷ISSN0038-0644
电子ISSN1097-024X
文件大小197.33KB
发表时间2011
DOI10.1002/spe.1021
页码143-153