Calculating invariants as coreflexive bisimulations (2008)

Cached

Download Links

by Luís S. Barbosa , José N. Oliveira , Alexandra M. Silva
Citations:3 - 3 self