164
click to vote
FORMATS
2005
Springer
16 years 11 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 ...