%0 Conference Paper %1 journals/corr/HutagalungHK0L16 %A Hutagalung, Milka %A Hundeshagen, Norbert %A Kuske, Dietrich %A Lange, Martin %A Lozes, Étienne %B GandALF %D 2016 %E Cantone, Domenico %E Delzanno, Giorgio %K %P 213-227 %T Multi-Buffer Simulations for Trace Language Inclusion. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#HutagalungHK0L16 %V 226

@inproceedings{journals/corr/HutagalungHK0L16, added-at = {2023-12-13T00:31:06.000+0100}, author = {Hutagalung, Milka and Hundeshagen, Norbert and Kuske, Dietrich and Lange, Martin and Lozes, Étienne}, biburl = {https://www.bibsonomy.org/bibtex/2b0ee667be64aeea6bec3f4b9d5b37183/admin}, booktitle = {GandALF}, crossref = {journals/corr/CantoneD16}, editor = {Cantone, Domenico and Delzanno, Giorgio}, ee = {http://arxiv.org/abs/1609.04098}, interhash = {647bc9ece1c32a00da9e40a81da9f647}, intrahash = {b0ee667be64aeea6bec3f4b9d5b37183}, keywords = {}, pages = {213-227}, series = {EPTCS}, timestamp = {2023-12-13T00:31:06.000+0100}, title = {Multi-Buffer Simulations for Trace Language Inclusion.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs226.html#HutagalungHK0L16}, volume = 226, year = 2016 }