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


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

info visites 4187553