A Aralex Aachen research explorer

June 07, 2008 conference-paper

Sketching concurrent data structures

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/1375581.1375599 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 196

Counterexample-guided inductive synthesis for probabilistic systems
2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

7

citations

1 result

References 0