Weak Bisimilarity between Finite-State Systems and BPA or Normed BPP is Decidable in Polynomial Time (2000)

Cached

Download Links

by Antonin Kucera , Richard Mayr
Venue:Theoretical Computer Science
Citations:3 - 1 self