Paper

Reasoning about Partial State Spaces, Proceedings of the 11th International Conference on Concurrency Theory, p

Glenn Bruns , Patrice Godefroid, Generalized Model Checking: Reasoning about Partial State Spaces, Proceedings of the 11th International Conference on Concurrency Theory, p.168-182, August 22-25, 2000

2000

Created by ACM worker at 2019-04-09 17:27:35.0.
Simplified Graph of Associations
Word Cloud
Quid