Conference , Workshops Proceedings

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, 8 to 11 November 2005
[Abstract]

  • Batimatech RT @batimateck: Bon, c’est confirmé, https://t.co/4ZLfD5uM9f annonce aujourd’hui son programme pour Batimatech 2018 @SATmontreal #Construc…
  • SciencePresse RT @SciencePresse: L’intelligence artificielle et les Québécois https://t.co/OjN1oFSF0A @Isaburgun #IntelligenceArtificielle #Québec #Perce…