Accueil > Verimag > Publications

bibtex

@inproceedings{Mal10c,
    title = { On the Krohn-Rhodes Cascaded Decomposition Theorem },
    author = {Maler, Oded},
    year = {2010},
    booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
    pages = {260-278},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {6200},
    team = {TEMPO},
}

URL

PDF