@incollection{legay2019statistical,
  title={Statistical model checking},
  author={Legay, Axel and Lukina, Anna and Traonouez, Louis Marie and Yang, Junxing and Smolka, Scott A and Grosu, Radu},
  booktitle={Computing and software science: state of the art and perspectives},
  pages={478--504},
  year={2019},
  publisher={Springer International Publishing Cham},
  url_doi={https://link.springer.com/chapter/10.1007/978-3-319-91908-9_23}
}

{"_id":"4KNTbgHYG5Ss8xqdc","bibbaseid":"legay-lukina-traonouez-yang-smolka-grosu-statisticalmodelchecking-2019","author_short":["Legay, A.","Lukina, A.","Traonouez, L. M.","Yang, J.","Smolka, S. A","Grosu, R."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Statistical model checking","author":[{"propositions":[],"lastnames":["Legay"],"firstnames":["Axel"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Traonouez"],"firstnames":["Louis","Marie"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Junxing"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Scott","A"],"suffixes":[]},{"propositions":[],"lastnames":["Grosu"],"firstnames":["Radu"],"suffixes":[]}],"booktitle":"Computing and software science: state of the art and perspectives","pages":"478–504","year":"2019","publisher":"Springer International Publishing Cham","url_doi":"https://link.springer.com/chapter/10.1007/978-3-319-91908-9_23","bibtex":"@incollection{legay2019statistical,\n title={Statistical model checking},\n author={Legay, Axel and Lukina, Anna and Traonouez, Louis Marie and Yang, Junxing and Smolka, Scott A and Grosu, Radu},\n booktitle={Computing and software science: state of the art and perspectives},\n pages={478--504},\n year={2019},\n publisher={Springer International Publishing Cham},\n url_doi={https://link.springer.com/chapter/10.1007/978-3-319-91908-9_23}\n}\n\n","author_short":["Legay, A.","Lukina, A.","Traonouez, L. M.","Yang, J.","Smolka, S. A","Grosu, R."],"key":"legay2019statistical","id":"legay2019statistical","bibbaseid":"legay-lukina-traonouez-yang-smolka-grosu-statisticalmodelchecking-2019","role":"author","urls":{" doi":"https://link.springer.com/chapter/10.1007/978-3-319-91908-9_23"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["hXrZJL4srDQvAjKT8","GLaspvN5TK5kTeBzM","DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["statistical","model","checking","legay","lukina","traonouez","yang","smolka","grosu"],"title":"Statistical model checking","year":2019}