Exploiting Modal Logic to Express Performance Measures

Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Exploiting Modal Logic to Express Performance Measures'. Together they form a unique fingerprint.

Engineering & Materials Science