Generating Linear Temporal Logics Based on Property Specification Templates

Weibin Luo, Hironori Washizaki^*, Yoshiaki Fukazawa

^*Corresponding author for this work

School of Fundamental Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Engineering & Materials Science