受强制性开放获取政策约束的文章 - Marek Chalupa了解详情
可在其他位置公开访问的文章：2 篇
Data-centric dynamic partial order reduction
M Chalupa, K Chatterjee, A Pavlogiannis, N Sinha, K Vaidya
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
强制性开放获取政策： Austrian Science Fund, European Commission
Monitoring Extended Hypernode Logic
M Chalupa, TA Henzinger, AO da Costa
International Conference on Integrated Formal Methods, 151-171, 2024
强制性开放获取政策： Austrian Science Fund
出版信息和资助信息由计算机程序自动确定