![](https://www.pdfsearch.io/img/6d1ad4d5d4f8e1d9db96a6c336a6e28e.jpg) 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 DurAdd to Reading ListSource URL: user.it.uu.seDownload Document from Source Website File Size: 997,42 KBShare Document on Facebook
|