Translating Basic Metric Temporal Logic Formulas into Promela.
Autor: | Sukvanich, Punwess, Thongtak, Arthit, Vatanawood, Wiwat |
---|---|
Zdroj: | Information Science & Applications (ICISA) 2016; 2016, p1035-1043, 9p |
Databáze: | Complementary Index |
Externí odkaz: |