var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"http://science.mq.edu.au/~fcassez/bib/uppaal-bib.bib\",\"jsonp\":\"1\",\"filter\":\"citein:wcet\",\"css\":\"true\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Alexandre\"],\"propositions\":[],\"lastnames\":[\"David\"],\"suffixes\":[]},{\"firstnames\":[\"Kim\",\"G.\"],\"propositions\":[],\"lastnames\":[\"Larsen\"],\"suffixes\":[]},{\"firstnames\":[\"Axel\"],\"propositions\":[],\"lastnames\":[\"Legay\"],\"suffixes\":[]},{\"firstnames\":[\"Marius\"],\"propositions\":[],\"lastnames\":[\"Mikucionis\"],\"suffixes\":[]},{\"firstnames\":[\"Zheng\"],\"propositions\":[],\"lastnames\":[\"Wang\"],\"suffixes\":[]}],\"title\":\"Time for Statistical Model Checking of Real-Time Systems\",\"booktitle\":\"Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings\",\"pages\":\"349–355\",\"year\":\"2011\",\"crossref\":\"DBLP:conf/cav/2011\",\"url\":\"http://dx.doi.org/10.1007/978-3-642-22110-1_27\",\"doi\":\"10.1007/978-3-642-22110-1_27\",\"timestamp\":\"Mon, 11 Jul 2011 13:24:02 +0200\",\"biburl\":\"http://dblp.uni-trier.de/rec/bib/conf/cav/DavidLLMW11\",\"bibsource\":\"dblp computer science bibliography, http://dblp.org\",\"citein\":\"wcet\",\"bibtex\":\"@inproceedings{DBLP:conf/cav/DavidLLMW11,\\n  author    = {Alexandre David and\\n               Kim G. Larsen and\\n               Axel Legay and\\n               Marius Mikucionis and\\n               Zheng Wang},\\n  title     = {Time for Statistical Model Checking of Real-Time Systems},\\n  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}\\n               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},\\n  pages     = {349--355},\\n  year      = {2011},\\n  crossref  = {DBLP:conf/cav/2011},\\n  url       = {http://dx.doi.org/10.1007/978-3-642-22110-1_27},\\n  doi       = {10.1007/978-3-642-22110-1_27},\\n  timestamp = {Mon, 11 Jul 2011 13:24:02 +0200},\\n  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/DavidLLMW11},\\n  bibsource = {dblp computer science bibliography, http://dblp.org},\\n  citein = {wcet}\\n}\",\"author_short\":[\"David, A.\",\"Larsen, K. G.\",\"Legay, A.\",\"Mikucionis, M.\",\"Wang, Z.\"],\"key\":\"DBLP:conf/cav/DavidLLMW11\",\"id\":\"DBLP:conf/cav/DavidLLMW11\",\"bibbaseid\":\"david-larsen-legay-mikucionis-wang-timeforstatisticalmodelcheckingofrealtimesystems-2011\",\"role\":\"author\",\"urls\":{\"Paper\":\"http://dx.doi.org/10.1007/978-3-642-22110-1_27\"},\"metadata\":{\"authorlinks\":{\"david, a\":\"http://science.mq.edu.au/~fcassez/wcet.html\"}},\"downloads\":1,\"html\":\"\"}],\n      metadata: {\"owner\":\"david, a\",\"authorlinks\":{\"david, a\":\"http://science.mq.edu.au/~fcassez/wcet.html\"}},\n      ownerID: \"eBM9erWuSsbnJvmCt\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"uppaal-bib.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2Nhdi9EYXZpZExMTVcxMSwKICBhdXRob3IgICAgPSB7QWxleGFuZHJlIERhdmlkIGFuZAogICAgICAgICAgICAgICBLaW0gRy4gTGFyc2VuIGFuZAogICAgICAgICAgICAgICBBeGVsIExlZ2F5IGFuZAogICAgICAgICAgICAgICBNYXJpdXMgTWlrdWNpb25pcyBhbmQKICAgICAgICAgICAgICAgWmhlbmcgV2FuZ30sCiAgdGl0bGUgICAgID0ge1RpbWUgZm9yIFN0YXRpc3RpY2FsIE1vZGVsIENoZWNraW5nIG9mIFJlYWwtVGltZSBTeXN0ZW1zfSwKICBib29rdGl0bGUgPSB7Q29tcHV0ZXIgQWlkZWQgVmVyaWZpY2F0aW9uIC0gMjNyZCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2UsIHtDQVZ9CiAgICAgICAgICAgICAgIDIwMTEsIFNub3diaXJkLCBVVCwgVVNBLCBKdWx5IDE0LTIwLCAyMDExLiBQcm9jZWVkaW5nc30sCiAgcGFnZXMgICAgID0gezM0OS0tMzU1fSwKICB5ZWFyICAgICAgPSB7MjAxMX0sCiAgY3Jvc3NyZWYgID0ge0RCTFA6Y29uZi9jYXYvMjAxMX0sCiAgdXJsICAgICAgID0ge2h0dHA6Ly9keC5kb2kub3JnLzEwLjEwMDcvOTc4LTMtNjQyLTIyMTEwLTFfMjd9LAogIGRvaSAgICAgICA9IHsxMC4xMDA3Lzk3OC0zLTY0Mi0yMjExMC0xXzI3fSwKICB0aW1lc3RhbXAgPSB7TW9uLCAxMSBKdWwgMjAxMSAxMzoyNDowMiArMDIwMH0sCiAgYmlidXJsICAgID0ge2h0dHA6Ly9kYmxwLnVuaS10cmllci5kZS9yZWMvYmliL2NvbmYvY2F2L0RhdmlkTExNVzExfSwKICBiaWJzb3VyY2UgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cDovL2RibHAub3JnfSwKICBjaXRlaW4gPSB7d2NldH0KfQ==\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=http://science.mq.edu.au/~fcassez/bib/uppaal-bib.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=http://science.mq.edu.au/~fcassez/bib/uppaal-bib.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=http%3A%2F%2Fscience.mq.edu.au%2F%7Efcassez%2Fbib%2Fuppaal-bib.bib&amp;jsonp=1&amp;filter=citein:wcet&amp;css=true&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=http%3A%2F%2Fscience.mq.edu.au%2F%7Efcassez%2Fbib%2Fuppaal-bib.bib&amp;jsonp=1&amp;filter=citein:wcet&amp;css=true\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=http%3A%2F%2Fscience.mq.edu.au%2F%7Efcassez%2Fbib%2Fuppaal-bib.bib&amp;jsonp=1&amp;filter=citein:wcet&amp;css=true\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2011\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2011')\"\n      onkeypress=\"toggleGroup('group_2011')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2011</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"david-larsen-legay-mikucionis-wang-timeforstatisticalmodelcheckingofrealtimesystems-2011\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://dx.doi.org/10.1007/978-3-642-22110-1_27\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'david-larsen-legay-mikucionis-wang-timeforstatisticalmodelcheckingofrealtimesystems-2011', 'http://dx.doi.org/10.1007/978-3-642-22110-1_27', event);\">\n    Time for Statistical Model Checking of Real-Time Systems.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://science.mq.edu.au/~fcassez/wcet.html\">David, A.</a>; Larsen, K. G.; Legay, A.; Mikucionis, M.;  and Wang, Z.\n</span>\n\n  \n\n</span>\n\n  In <i>Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings</i>, pages 349–355,  2011. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://dx.doi.org/10.1007/978-3-642-22110-1_27\"\n     onclick=\"log_download('david-larsen-legay-mikucionis-wang-timeforstatisticalmodelcheckingofrealtimesystems-2011', 'http://dx.doi.org/10.1007/978-3-642-22110-1_27', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Time for Statistical Model Checking of Real-Time Systems [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-642-22110-1_27\"\n     onclick=\"log_download('david-larsen-legay-mikucionis-wang-timeforstatisticalmodelcheckingofrealtimesystems-2011', 'http://doi.org/10.1007/978-3-642-22110-1_27', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/david-larsen-legay-mikucionis-wang-timeforstatisticalmodelcheckingofrealtimesystems-2011\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('david-larsen-legay-mikucionis-wang-timeforstatisticalmodelcheckingofrealtimesystems-2011')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/cav/DavidLLMW11,\n  author    = {Alexandre David and\n               Kim G. Larsen and\n               Axel Legay and\n               Marius Mikucionis and\n               Zheng Wang},\n  title     = {Time for Statistical Model Checking of Real-Time Systems},\n  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}\n               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},\n  pages     = {349--355},\n  year      = {2011},\n  crossref  = {DBLP:conf/cav/2011},\n  url       = {http://dx.doi.org/10.1007/978-3-642-22110-1_27},\n  doi       = {10.1007/978-3-642-22110-1_27},\n  timestamp = {Mon, 11 Jul 2011 13:24:02 +0200},\n  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/DavidLLMW11},\n  bibsource = {dblp computer science bibliography, http://dblp.org},\n  citein = {wcet}\n}</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);