Time Abstracted Bisimulation: Implicit Specifications and Decidability (1997)

by Kim G. Larsen , Yi Wang
Citations:39 - 9 self