165
Voted
FORMATS
2005
Springer
16 years 15 days ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...