bibtex

@article{BFH+92,
    title = {Minimal State Graph Generation },
    author = {Bouajjani, Ahmed and Fernandez, Jean-Claude and Halbwachs, Nicolas and Raymond, Pascal},
    year = {1992},
    journal = {Sci. Comput. Program.},
    number = {3},
    pages = {247-269},
    volume = {18},
    team = {DCS, SYNC},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 3748582