"Reply to Comments on "An Interval Logic for Real-Time System Specification'."

Pierfrancesco Bellini, Paolo Nesi, Davide Rogai (2006)

Details and statistics

DOI: 10.1109/TSE.2006.57

access: closed

type: Journal Article

metadata version: 2017-06-09