@inproceedings{DBLP:conf/valuetools/CarnevaliGV11,
    author = "Carnevali, Laura and Giuntini, Johnny and Vicario, Enrico",
    editor = "Lasaulce, Samson and Fiems, Dieter and Harrison, Peter G. and Vandendorpe, Luc",
    title = "A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters",
    booktitle = "5th International {ICST} Conference on Performance Evaluation Methodologies and Tools Communications, {VALUETOOLS} '11, Paris, France, May 16-20, 2011",
    pages = "111--120",
    publisher = "{ICST/ACM}",
    year = "2011",
    url = "https://doi.org/10.4108/icst.valuetools.2011.245728",
    doi = "10.4108/ICST.VALUETOOLS.2011.245728",
    timestamp = "Mon, 05 Jun 2017 01:00:00 +0200",
    biburl = "https://dblp.org/rec/conf/valuetools/CarnevaliGV11.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"tfXKcAtfaiz7co4sk","bibbaseid":"carnevali-giuntini-vicario-asymbolicapproachtoquantitativeanalysisofpreemptiverealtimesystemswithnonmarkoviantemporalparameters-2011","author_short":["Carnevali, L.","Giuntini, J.","Vicario, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Carnevali"],"firstnames":["Laura"],"suffixes":[]},{"propositions":[],"lastnames":["Giuntini"],"firstnames":["Johnny"],"suffixes":[]},{"propositions":[],"lastnames":["Vicario"],"firstnames":["Enrico"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Lasaulce"],"firstnames":["Samson"],"suffixes":[]},{"propositions":[],"lastnames":["Fiems"],"firstnames":["Dieter"],"suffixes":[]},{"propositions":[],"lastnames":["Harrison"],"firstnames":["Peter","G."],"suffixes":[]},{"propositions":[],"lastnames":["Vandendorpe"],"firstnames":["Luc"],"suffixes":[]}],"title":"A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters","booktitle":"5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011","pages":"111–120","publisher":"ICST/ACM","year":"2011","url":"https://doi.org/10.4108/icst.valuetools.2011.245728","doi":"10.4108/ICST.VALUETOOLS.2011.245728","timestamp":"Mon, 05 Jun 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/valuetools/CarnevaliGV11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/valuetools/CarnevaliGV11,\n author = \"Carnevali, Laura and Giuntini, Johnny and Vicario, Enrico\",\n editor = \"Lasaulce, Samson and Fiems, Dieter and Harrison, Peter G. and Vandendorpe, Luc\",\n title = \"A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters\",\n booktitle = \"5th International {ICST} Conference on Performance Evaluation Methodologies and Tools Communications, {VALUETOOLS} '11, Paris, France, May 16-20, 2011\",\n pages = \"111--120\",\n publisher = \"{ICST/ACM}\",\n year = \"2011\",\n url = \"https://doi.org/10.4108/icst.valuetools.2011.245728\",\n doi = \"10.4108/ICST.VALUETOOLS.2011.245728\",\n timestamp = \"Mon, 05 Jun 2017 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/conf/valuetools/CarnevaliGV11.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Carnevali, L.","Giuntini, J.","Vicario, E."],"editor_short":["Lasaulce, S.","Fiems, D.","Harrison, P. G.","Vandendorpe, L."],"key":"DBLP:conf/valuetools/CarnevaliGV11","id":"DBLP:conf/valuetools/CarnevaliGV11","bibbaseid":"carnevali-giuntini-vicario-asymbolicapproachtoquantitativeanalysisofpreemptiverealtimesystemswithnonmarkoviantemporalparameters-2011","role":"author","urls":{"Paper":"https://doi.org/10.4108/icst.valuetools.2011.245728"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["symbolic","approach","quantitative","analysis","preemptive","real","time","systems","non","markovian","temporal","parameters","carnevali","giuntini","vicario"],"title":"A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters","year":2011}