[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 10712 || An Abstraction Technique for Describing Concurrent Program Behaviour

• 作者Paskevich, Andrei; Wies, Thomas
• 文件大小605.33KB
• 发表时间2017
• DOI10.1007/978-3-319-72308-2_12
• 页码191-209