Time Abstracted Bisimulation: Implicit Specifications and Decidability (1997)

by Kim G. Larsen , Yi Wang
Citations:46 - 10 self