Constructive linear-time temporal logic:
โ
Kensuke Kojima; Atsushi Igarashi
๐
Article
๐
2011
๐
Elsevier Science
๐
English
โ 206 KB