Time-extraction for temporal logic-logic programming and local process time

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Time-extraction for temporal logic-logic programming and local process time'. Together they form a unique fingerprint.

Engineering & Materials Science

Mathematics