Model Checking Delay Differential Equations Against Metric Interval Temporal Logic - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic

Export

All authors

Peter Nazier Mosaad and Martin Fränzle and Bai Xue

Journal

Scientific Annals of Computer Science

Publishing date

2017

Type of Publication

article

Pages

77-109

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Privacy Data Transparency Contact Legals