On Matching Concurrent Traces
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Original language | English |
---|---|
Title of host publication | Proceedings of the 26th International Workshop on Unification (UNIF 26) |
Publication date | 2012 |
Pages | 14-19 |
Publication status | Published - 2012 |
ID: 78906003