Metadata
Author: WikiMatrix
Data
English[en]
Various types of temporal logic can be used to help reason about concurrent systems.
Spanish[es]
Varios tipos de lógicas temporales pueden ser usados para ayudar a razonar sobre los sistemas concurrentes.