DMCA

Bisimulation through probabilistic testing (1991)

Cached


Other Repositories/Bibliography

  • DBLP
  • by Kim G. Larsen , Arne Skou
    Citations:524 - 14 self