You are here

Home ›

Publications

Filters: Keyword is Bisimulation  [Clear All Filters]
2014
L. Song, L. Zhang, H. Hermanns, and J. C. Godskesen, “Incremental Bisimulation Abstraction Refinement”, ACM Trans. Embed. Comput. Syst., vol. 13, p. 142:1–142:23, 2014.

   

                              

Powered by Drupal