Linearization in muCRL
Linearization in muCRL
复制标题
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Y. S. Usenko
中科院分区：
文献类型：
--
作者：
Y. S. Usenko
• 提交的稿件是指文章提交后和同行评审之前的版本。提交的版本和正式发布的记录版本之间可能存在重要差异。建议对该研究感兴趣的人联系作者以获取出版物的最终版本，或访问出版商网站的 DOI。 • 最终作者版本和校样是经过同行评审后的出版物版本。 • 最终出版版本包含论文的最终布局，包括卷数、期数和页码。
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.