DMCA

Efficient external-memory bisimulation on DAGs (2012)

Cached

Download Links

by Jelle Hellings , George H L Fletcher , Herman Haverkort
Venue:In SIGMOD
Citations:7 - 2 self