Model Checking Temporal Logic Formulas Using Sticker Automata

Weijun Zhu, Changwei Feng, Huanmei Wu

Research output: Contribution to journalArticle

2 Scopus citations

Fingerprint Dive into the research topics of 'Model Checking Temporal Logic Formulas Using Sticker Automata'. Together they form a unique fingerprint.

Chemical Compounds

Medicine & Life Sciences