book-chapter · 1997
STARI: A case study in compositional and hierarchical timing verification
30 citationsDOI: https://doi.org/10.1007/3-540-63166-6_20
Article
Article detail, metadata, authors, and available full-text links.
Paper reader
Loading paper...