APA aipamena

Andrianov, P., Mutilin, V., & Khoroshilov, A. (2021). cpalockator: Thread-Modular Analysis with Projections: (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems.

Chicago Style aipamena

Andrianov, Pavel, Vadim Mutilin, and Alexey Khoroshilov. "Cpalockator: Thread-Modular Analysis With Projections: (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2021.

MLA aipamena

Andrianov, Pavel, Vadim Mutilin, and Alexey Khoroshilov. "Cpalockator: Thread-Modular Analysis With Projections: (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2021.