An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes (1994)

Cached

Download Links

by Olaf Burkart , Didier Caucal , Bernhard Steffen
Citations:16 - 2 self