An equivalent CTL formulation for condition sequences

Jeffrey Ashley, Lawrence E. Holloway

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'An equivalent CTL formulation for condition sequences'. Together they form a unique fingerprint.

Computer Science