Indice
buscar
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anterior Revisión previa | |||
|
publicaciones [2026/01/09 09:15] ezpeleta |
publicaciones [2026/01/09 09:16] (actual) ezpeleta |
||
|---|---|---|---|
| Línea 29: | Línea 29: | ||
| • J. M. Couvreur, J. Ezpeleta\\ | • J. M. Couvreur, J. Ezpeleta\\ | ||
| **A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes** \\ | **A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes** \\ | ||
| - | Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), Neuchâtel, Switzerland, December 6-8, 2017, ISSN: 1613-0073, Lecture Notes in Business Information Processing, Vol. 340, Springer, Paolo Ceravolo, Maurice van Keulen and Kilian Stoffel (Eds.), 2019 | + | Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017) \\ |
| + | Neuchâtel, Switzerland, December 6-8, 2017, ISSN: 1613-0073, Lecture Notes in Business Information Processing \\ | ||
| + | Vol. 340, Springer, Paolo Ceravolo, Maurice van Keulen and Kilian Stoffel (Eds.), 2019 | ||
| • E. González-López de Murillas, J. Fabra, P Álvarez, J. Ezpeleta \\ | • E. González-López de Murillas, J. Fabra, P Álvarez, J. Ezpeleta \\ | ||
