TY  - RPRT
TI  - Multi-Buffer Simulations for Trace Language Inclusion
AU  - Milka Hutagalung
AU  - Norbert Hundeshagen
AU  - Dietrich Kuske
AU  - Martin Lange
AU  - Etienne Lozes
PY  - 2016
DO  - 10.4204/eptcs.226.15
UR  - https://arxiv.org/abs/1609.04098
ID  - 1609.04098
ER  -