Login / Signup

Simple Bisimilarity Minimization in O(m log n) Time.

Antti Valmari
Published in: Fundam. Informaticae (2010)
Keyphrases
  • highly reliable
  • data sets
  • artificial intelligence
  • lower bound
  • case study
  • pairwise
  • black box