![](/img/cover-not-exists.png)
[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing
Bujtor, Ferenc, Sorokin, Lev, Vogler, WalterYear:
2015
Language:
english
DOI:
10.1109/acsd.2015.21
File:
PDF, 390 KB
english, 2015