![](/img/cover-not-exists.png)
[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software
Fei, Zhennan, Akesson, Knut, Reveliotis, SpyrosYear:
2014
Language:
english
DOI:
10.1109/cdc.2014.7040318
File:
PDF, 311 KB
english, 2014