@book{f2f71842930742d19d9b7853c08d306b,
title = "A Modal Temporal Dynamic Logic: Doing the Deadline",
abstract = "In this report, an investigation into the aspects of formal system specification that manifest themselves when considering both time and system dynamics is carried out. A logic to express temporal dynamic properties is developed.",
keywords = "SCS-Services",
author = "J. Scheerder and R.J. Wieringa",
year = "1997",
month = aug,
day = "3",
language = "English",
series = "Technical Report / Faculty of Mathematics and Computer Science",
publisher = "Faculty of Mathematics and Computer Science, Vrije Universiteit",
number = "IR-433",
}