Expressing properties of resource-bounded systems: the Logics RTL* and RTL

Berndt Muller, N. Bulling

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'Expressing properties of resource-bounded systems: the Logics RTL* and RTL'. Together they form a unique fingerprint.

Engineering & Materials Science