Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs (1991)

Cached

Download Links

by Bengt Jonsson , Joachim Parrow
Citations:36 - 8 self