DMCA

Model checking existential logic on partially ordered sets (2014)

Cached

Download Links

by Simone Bova , Robert Ganian , Stefan Szeider
Venue:In LICS’14
Citations:3 - 1 self