Verimag

bibtex

@inproceedings{KM00,
    title = {Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems },
    author = {Krimm, Jean-Pierre and Mounier, Laurent},
    year = {2000},
    booktitle = {Proceedings of TACAS'00},
    pages = {266--282},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 804420