Bisimulation through probabilistic testing (1989)

Cached


Other Repositories/Bibliography

  • DBLP
  • by Kim G. Larsen , Arne Skou
    Venue:in “Conference Record of the 16th ACM Symposium on Principles of Programming Languages (POPL
    Citations:406 - 5 self