David N. Jansen

Zoekresultaten

• An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems

  Wijs, A. (Ontwerper), Keiren, J. J. A. (Ontwerper), Groote, J. F. (Ontwerper) & Jansen, D. N. (Ontwerper), Figshare, 20 feb. 2020

  DOI: 10.6084/m9.figshare.11876688

  Dataset