Jiale Huo, Alexandre Petrenko. Covering Transitions of Concurrent Systems through Queues. In 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA. pages 335-345, IEEE Computer Society, 2005. [doi]
Abstract is missing.