Extending ITL with Interleaved Programs for Interactive Verification

2011 Eighteenth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2011.31 ◽

2011 ◽

Author(s):

Gerhard Schellhorn

Download Full-text