Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation (1999)

Cached

Download Links

by Panagiotis Manolios , Kedar Namjoshi , Robert Sumners
Citations:13 - 6 self