Springer
Lecture Notes in Computer Science
International Colloquium on Theoretical Aspects of Computing
Computer Security

de Boer, F., Schlatte, R., Aichernig, B. K., & Broch Johnsen, E. (2008). Testing Concurrent Objects with Application-Specific Schedulers. In Lecture Notes in Computer Science. Springer.