[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - DiVinE: Parallel Distributed Model Checker
Barnat, Jiri; Brim, Lubos; Ceska, Milan; Rockai, Petr
- 作者Barnat, Jiri; Brim, Lubos; Ceska, Milan; Rockai, Petr
- 文件大小830.36KB
- 发表时间2010
- DOI10.1109/pdmc-hibi.2010.9
- 页码4-7