From Bisimulation to Simulation: Coarses
β
R. Gentilini; C. Piazza; A. Policriti
π
Article
π
2003
π
Springer Netherlands
π
English
β 218 KB