↓ Skip to main content

Data-Driven Process Discovery and Analysis

Overview of attention for book
Attention for Chapter 5: A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes
Altmetric Badge

Mentioned by

news
1 news outlet

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes
Chapter number 5
Book title
JIMD Reports, Volume 45
Published by
Springer, Cham, January 2019
DOI 10.1007/978-3-030-11638-5_5
Book ISBNs
978-3-66-258646-4, 978-3-66-258647-1, 978-3-03-011637-8, 978-3-03-011638-5
Authors

Jean-Michel Couvreur, Joaquín Ezpeleta

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 50%
Unknown 1 50%
Readers by discipline Count As %
Economics, Econometrics and Finance 1 50%
Unknown 1 50%