![](/img/cover-not-exists.png)
Interface-Based Specification and Verification of Concurrency Controllers
Aysu Betin-Can, Tevfik BultanVolume:
89
Year:
2003
Language:
english
Pages:
16
DOI:
10.1016/s1571-0661(05)80007-6
File:
PDF, 939 KB
english, 2003