Acte de conférence, colloque et atelier

Covering Transitions of Concurrent Systems through Queues

Petrenko, A. and Huo, J. "Covering Transitions of Concurrent Systems through Queues" in Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05). IL, Chicago, USA, du 8 au 11 novembre 2005
[Résumé]