Verimag

bibtex

@article{HIV10,
    title = {Automata-based verification of programs with tree updates },
    author = {Habermehl, Peter and Iosif, Radu and Vojnar, Tom{\'a}s},
    year = {2010},
    journal = {Acta Inf.},
    number = {1},
    pages = {1-31},
    volume = {47},
    team = {DCS,PACSS},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 778603