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},
}


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

info visites 3901705