bibtex

@inproceedings{LDB0,
    title = {Statistical Model Checking: An Overview },
    author = {Legay, Axel and Delahaye, Beno\^it and Bensalem, Saddek},
    year = {2010},
    booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
    pages = {122-135},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {6418},
    team = {DCS, RSD},
}


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

info visites 4190147