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 created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 37 ; visits: 429937