Atomic invariants verification and deadlock detection at compile-time - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ionut Tamas, Ioan Salomie, Marcel Antal. Atomic invariants verification and deadlock detection at compile-time. In Radu Razvan Slavescu, editor, 14th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2018, Cluj-Napoca, Romania, September 6-8, 2018. pages 435-441, IEEE, 2018. [doi]

This author has not been identified. Look up 'Ionut Tamas' in GoogleThis author has not been identified. Look up 'Ioan Salomie' in GoogleThis author has not been identified. Look up 'Marcel Antal' in Google

runs on WebDSL