![](/img/cover-not-exists.png)
[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - Introducing Fairness into Compositional Verification via Unidirectional Counters
Siirtola, Antti, Puhakka, Antti, Luttgen, GeraldYear:
2012
Language:
english
DOI:
10.1109/acsd.2012.21
File:
PDF, 360 KB
english, 2012