Metadata
Author: WikiMatrix
Data
Greek[el]
Οι προδιαγραφές ιδιοτήτων συχνά γράφονται σαν εκφράσεις γραμμικής χρονικής λογικής (Linear Temporal Logic, LTL).
English[en]
Property specifications are often written as Linear Temporal Logic (LTL) expressions.