From Bisimulation to Simulation - Coarsest Partition Problems (2002)

Cached

Download Links

by R. Gentilini , C. Piazza , A. Policriti
Venue:J. Automated Reasoning
Citations:18 - 1 self