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


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

info visites 4182735