Composing and refining dense temporal logic specifications (0)

by Antonio Cau
Venue:Formal Aspects of Computing