Карраскель Хулио Сесар

Публикации в базе данных Math-Net.Ru

1. Object-centric replay-based conformance checking: unveiling desire lines and local deviations
   
   Модел. и анализ информ. систем, 28:2 (2021),  146–168
2. Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification
   
   Труды ИСП РАН, 30:4 (2018),  107–128