Request a document copy: Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems

all files (of this document) in restricted access
the file(s) you requested
Cancel