Duration calculus. A formal approach to real-time systems. (Q1428351)
From MaRDI portal
scientific article
In more languages
ConfigureLanguage | Label | Description | Also known as |
---|---|---|---|
English | Duration calculus. A formal approach to real-time systems. |
scientific article |