| 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 |
On Matching Concurrent Traces
Carsten Schürmann, Iliano Cervesato, Frank Pfenning, Robert J Simmons
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review