Technical report

Covering Transitions of Concurrent Systems through Queues

Petrenko, A., Huo, J. Covering Transitions of Concurrent Systems through Queues. Montréal, CRIM, 2005. 27 p. . [CRIM-05/08-09]

  • 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…