Fuzzy Time in Linear Temporal Logic
Frigeri, Achille, Pasquale, Liliana, Spoletini, PaolaVolume:
15
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/2629606
Date:
August, 2014
File:
PDF, 271 KB
english, 2014