%0 Journal Article %1 journals/fmsd/BaarirBEIMPY11 %A Baarir, Souheib %A Braunstein, Cécile %A Encrenaz, Emmanuelle %A Ilié, Jean-Michel %A Mounier, Isabelle %A Poitrenaud, Denis %A Younès, Sana %D 2011 %J Formal Methods Syst. Des. %K dblp %N 2 %P 165-184 %T Feasibility analysis for robustness quantification by symbolic model checking. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd39.html#BaarirBEIMPY11 %V 39

@article{journals/fmsd/BaarirBEIMPY11, added-at = {2023-09-30T00:00:00.000+0200}, author = {Baarir, Souheib and Braunstein, Cécile and Encrenaz, Emmanuelle and Ilié, Jean-Michel and Mounier, Isabelle and Poitrenaud, Denis and Younès, Sana}, biburl = {https://www.bibsonomy.org/bibtex/210785f815d6433afe3da5487fabaf9f5/dblp}, ee = {https://doi.org/10.1007/s10703-011-0121-5}, interhash = {a519b5768b063ed04e2da0225027a6b0}, intrahash = {10785f815d6433afe3da5487fabaf9f5}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {165-184}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Feasibility analysis for robustness quantification by symbolic model checking.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd39.html#BaarirBEIMPY11}, volume = 39, year = 2011 }