Jean-Michel Couvreur, Joaquín Ezpeleta. A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes. Paolo Ceravolo; Maurice van Keulen; Kilian Stoffel. 7th International Symposium on Data-Driven Process Discovery
HAL Archives-Ouvertes,
Jean-Michel Couvreur, Joaquín Ezpeleta. A Linear Temporal Logic Model Checking Method over Finite Words with Correlated…