bibtex

@inproceedings{FSD94,
    title = {Model-Based Verification Methods and Tools (Abstract) },
    author = {Fernandez, Jean-Claude and Sifakis, Joseph and De Simone, Robert},
    year = {1994},
    booktitle = {CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
    pages = {64},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {836},
    team = {DCS},
}


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

info visites 4192052