@mastersthesis{mastersthesise820f6c0,
title   = {Improving model learning by inferring separating sequences from traces},
author = {Braz, Rafael dos Santos and Simão, Adenilso da Silva},
year = {2023},
doi = {10.11606/D.55.2023.tde-10012024-173035},
school = {Universidade de São Paulo}
}