@inproceedings{bouajjani_et_al:OASIcs:2009:2356,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Nested data words, rewriting systems, program verification, dynamic and parametrized systems, invariance checking},
    Author = {Bouajjani, Ahmed and Dr{\u a}goi, Cezara and Jurski, Yan and Sighireanu, Mihaela},
    BookTitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
    Editor = {Hlinen{\'y}, Petr and Maty{\'a}{\v{s}}, V{\'a}clav and Vojnar, Tom{\'a}{\v{s}}},
    File = {Rewriting Systems over Nested Data Words - Bouajjani, Dr\&\#259;goi, Jurski, Sighireanu (0) (0) - a - a - g.pdf},
    ISBN = {978-3-939897-15-6},
    ISSN = {2190-6807},
    Pages = {70--77},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {OpenAccess Series in Informatics (OASIcs)},
    Title = {{Rewriting Systems over Nested Data Words}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2356},
    Volume = {13},
    Year = {2009},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2009/2356},
    bdsk-url-2 = {http://dx.doi.org/10.4230/DROPS.MEMICS.2009.2356},
    date-added = {2015-03-04 11:10:57 +0000},
    date-modified = {2015-03-04 11:10:57 +0000},
    urn = {urn:nbn:de:0030-drops-23567},
    doi = {10.4230/DROPS.MEMICS.2009.2356}
}

@inproceedings{bouajjani_et_al:OASIcs:2009:2356, Address = {Dagstuhl, Germany}, Annote = {Keywords: Nested data words, rewriting systems, program verification, dynamic and parametrized systems, invariance checking}, Author = {Bouajjani, Ahmed and Dr{\u a}goi, Cezara and Jurski, Yan and Sighireanu, Mihaela}, BookTitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)}, Editor = {Hlinen{\'y}, Petr and Maty{\'a}{\v{s}}, V{\'a}clav and Vojnar, Tom{\'a}{\v{s}}}, File = {Rewriting Systems over Nested Data Words - Bouajjani, Dr\ăgoi, Jurski, Sighireanu (0) (0) - a - a - g.pdf}, ISBN = {978-3-939897-15-6}, ISSN = {2190-6807}, Pages = {70--77}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {OpenAccess Series in Informatics (OASIcs)}, Title = {{Rewriting Systems over Nested Data Words}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2356}, Volume = {13}, Year = {2009}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2009/2356}, bdsk-url-2 = {http://dx.doi.org/10.4230/DROPS.MEMICS.2009.2356}, date-added = {2015-03-04 11:10:57 +0000}, date-modified = {2015-03-04 11:10:57 +0000}, urn = {urn:nbn:de:0030-drops-23567}, doi = {10.4230/DROPS.MEMICS.2009.2356} }