Checking Experiments with Labeled Transition Systems for Trace Equivalence

by Q.M. Tan , A. Petrenko , G. V. Bochmann
Citations:1 - 1 self