Analysis of Timed Systems Using Time-Abstracting...

Formal Methods in System Design 2001 / 01 Vol. 18; Iss. 1

Analysis of Timed Systems Using Time-Abstracting Bisimulations

Stavros Tripakis, Sergio Yovine
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
18
Language:
english
Pages:
44
DOI:
10.1023/a:1008734703554
Date:
January, 2001
File:
PDF, 354 KB
english, 2001
Conversion to is in progress
Conversion to is failed