|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
1. |
J. C. Carrasquel, K. Mecheraoui, “Object-centric replay-based conformance checking: unveiling desire lines and local deviations”, Модел. и анализ информ. систем, 28:2 (2021), 146–168 |
3
|
|
2018 |
2. |
J. C. Carrasquel, A. Morales, M. E. Villapol, “Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification”, Труды ИСП РАН, 30:4 (2018), 107–128 |
3
|
|