Compositionality in the temporal logic of concurrent systems (extended abstract)

F.S. Boer, de

Research output: Contribution to journalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Compositionality in the temporal logic of concurrent systems (extended abstract)'. Together they form a unique fingerprint.

Engineering & Materials Science