|
|
Publications in Math-Net.Ru |
Citations |
|
2021 |
1. |
J. C. Carrasquel, K. Mecheraoui, “Object-centric replay-based conformance checking: unveiling desire lines and local deviations”, Model. Anal. Inform. Sist., 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”, Proceedings of ISP RAS, 30:4 (2018), 107–128 |
3
|
|