You are here

Home ›

Publications

Filters: Author is Doron Peled  [Clear All Filters]
2013
J. - P. Katoen and D. Peled, “Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems”, in Programming Languages and Systems, ESOP 2013, 2013, vol. 7792, p. 411-430.

   

                              

Powered by Drupal