Weijun Zhu

1PUBLICATIONS
0CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Nov 10, 2017
Model Checking Temporal Logic Formulas Using Sticker Automata.

Weijun Zhu, Changwei Feng, Huanmei Wu

Pageof 1

Frequent Collaborators