A Modal Temporal Dynamic Logic: Doing the Deadline

J. Scheerder, R.J. Wieringa

    Research output: Book/ReportReportOther research output

    22 Downloads (Pure)

    Fingerprint Dive into the research topics of 'A Modal Temporal Dynamic Logic: Doing the Deadline'. Together they form a unique fingerprint.

    Engineering & Materials Science