@inproceedings{Groote:2004:VAT:1018438.1021843,
    Address = {Washington, DC, USA},
    Author = {Groote, Philippe de and Guillaume, Bruno and Salvati, Sylvain},
    BookTitle = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science},
    File = {Vector Addition Tree Automata - Groote, Guillaume, Salvati (0) (0) - a - a - a.pdf},
    ISBN = {0-7695-2192-4},
    Keywords = {branching vector addition systems},
    Pages = {64--73},
    Publisher = {IEEE Computer Society},
    Series = {LICS '04},
    Title = {Vector Addition Tree Automata},
    URL = {http://dx.doi.org/10.1109/LICS.2004.51},
    Year = {2004},
    acmid = {1021843},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2004.51},
    date-added = {2013-11-11 12:43:47 +0000},
    date-modified = {2013-11-11 12:48:31 +0000},
    file-2 = {Vector Addition Tree Automata - Groote, Guillaume, Salvati (1) (0) - a - a - a.pdf},
    numpages = {10},
    doi = {10.1109/LICS.2004.51}
}

@inproceedings{Groote:2004:VAT:1018438.1021843, Address = {Washington, DC, USA}, Author = {Groote, Philippe de and Guillaume, Bruno and Salvati, Sylvain}, BookTitle = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science}, File = {Vector Addition Tree Automata - Groote, Guillaume, Salvati (0) (0) - a - a - a.pdf}, ISBN = {0-7695-2192-4}, Keywords = {branching vector addition systems}, Pages = {64--73}, Publisher = {IEEE Computer Society}, Series = {LICS '04}, Title = {Vector Addition Tree Automata}, URL = {http://dx.doi.org/10.1109/LICS.2004.51}, Year = {2004}, acmid = {1021843}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2004.51}, date-added = {2013-11-11 12:43:47 +0000}, date-modified = {2013-11-11 12:48:31 +0000}, file-2 = {Vector Addition Tree Automata - Groote, Guillaume, Salvati (1) (0) - a - a - a.pdf}, numpages = {10}, doi = {10.1109/LICS.2004.51} }