Verimag

bibtex

@inproceedings{LDB10,
    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},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 7 ; visits: 438061