cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution).

Pavel S. Andrianov, Vadim S. Mutilin, Alexey V. Khoroshilov

Browse the full TACAS paper archive.