DMCA

Notions of bisimulation and congruence formats for SOS with data (2005)

Cached


Other Repositories/Bibliography

  • DBLP
  • by Mohammad Reza Mousavi , Michel A. Reniers , Jan Friso Groote
    Citations:14 - 8 self