• 文献求助详情 已完结
标题

Guard-based Partial-order Reduction

网址

https://doi.org/10.1007/978-3-642-39176-7_15

DOI

10.1007/978-3-642-39176-7_15

其他 期刊:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 作者:A. Laarman;E. Pater;J. De Van;M. Weber 出版日期:2013
求助人

≒像迯跑の賊 在 2024-04-03 03:03:55 发布,悬赏 20 积分

下载
求助 / 应助时间线

该求助已完结,感谢关注

如需该文献,请重新发布求助,前往发布

不忘初心,牢记使命,为科研工作者服务

请遵守相关知识产权规定,勿将文件分享给他人,仅可用于个人研究学习