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