bibtex

@inproceedings{FGM+92,
    title = {A Toolbox for the Verification of {LOTOS} Programs },
    author = {Fernandez, Jean-Claude and Garavel, Hubert and Mounier, Laurent and Rasse, Anne and Rodr\'{\i}guez, Carlos and Sifakis, Joseph},
    month = {May},
    year = {1992},
    booktitle = {Proceedings of the 14th International Conference on Software Engineering ICSE{'14} (Melbourne, Australia)},
    pages = {246-259},
    publisher = {ACM},
    team = {DCS,PACSS},
}


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

info visites 3901805