ITU

On Matching Concurrent Traces

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationProceedings of the 26th International Workshop on Unification (UNIF 26)
Publication date2012
Pages14-19
Publication statusPublished - 2012

ID: 78906003