Verimag

bibtex

@inproceedings{DLS01,
    title = {Iterating Transducers },
    author = {Dams, Dennis and Lakhnech, Yassine and Steffen, Martin},
    year = {2001},
    booktitle = {Computer Aided Verification'01},
    series = {LNCS},
    volume = {2057},
    team = {DCS},
}

Publication Sections


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

info visites 640367