Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata ABSTRACT Extended Linear Duration Invariants (ELDIs), an important subset of Duration Calculus, extends well-studied Linear Dur

First Page		Document Content
Date: 2017-12-22 10:05:56		Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata ABSTRACT Extended Linear Duration Invariants (ELDIs), an important subset of Duration Calculus, extends well-studied Linear Dur Add to Reading List Source URL: user.it.uu.se Download Document from Source Website File Size: 997,42 KB Share Document on Facebook