Temporal logic and "reverse semantics"

J. Broido

    Research output: Book/Report › Other report

    41 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Temporal logic and "reverse semantics"'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science