@inproceedings{DBLP:conf/adaEurope/CarnevaliLPV11,
    author = "Carnevali, Laura and Lipari, Giuseppe and Pinzuti, Alessandro and Vicario, Enrico",
    editor = "Romanovsky, Alexander B. and Vardanega, Tullio",
    title = "A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems",
    booktitle = "Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "6652",
    pages = "118--131",
    publisher = "Springer",
    year = "2011",
    url = "https://doi.org/10.1007/978-3-642-21338-0\\_9",
    doi = "10.1007/978-3-642-21338-0\\_9",
    timestamp = "Tue, 14 May 2019 10:00:50 +0200",
    biburl = "https://dblp.org/rec/conf/adaEurope/CarnevaliLPV11.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":{"_str":"52820df314a66df443000822"},"__v":0,"authorIDs":[],"author_short":["Carnevali, L.","Lipari, G.","Pinzuti, A.","Vicario, E."],"bibbaseid":"carnevali-lipari-pinzuti-vicario-aformalapproachtodesignandverificationoftwolevelhierarchicalschedulingsystems-2011","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Carnevali"],"firstnames":["Laura"],"suffixes":[]},{"propositions":[],"lastnames":["Lipari"],"firstnames":["Giuseppe"],"suffixes":[]},{"propositions":[],"lastnames":["Pinzuti"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Vicario"],"firstnames":["Enrico"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Romanovsky"],"firstnames":["Alexander","B."],"suffixes":[]},{"propositions":[],"lastnames":["Vardanega"],"firstnames":["Tullio"],"suffixes":[]}],"title":"A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems","booktitle":"Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings","series":"Lecture Notes in Computer Science","volume":"6652","pages":"118–131","publisher":"Springer","year":"2011","url":"https://doi.org/10.1007/978-3-642-21338-0\\\\_9","doi":"10.1007/978-3-642-21338-0\\_9","timestamp":"Tue, 14 May 2019 10:00:50 +0200","biburl":"https://dblp.org/rec/conf/adaEurope/CarnevaliLPV11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/adaEurope/CarnevaliLPV11,\n author = \"Carnevali, Laura and Lipari, Giuseppe and Pinzuti, Alessandro and Vicario, Enrico\",\n editor = \"Romanovsky, Alexander B. and Vardanega, Tullio\",\n title = \"A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems\",\n booktitle = \"Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"6652\",\n pages = \"118--131\",\n publisher = \"Springer\",\n year = \"2011\",\n url = \"https://doi.org/10.1007/978-3-642-21338-0\\\\_9\",\n doi = \"10.1007/978-3-642-21338-0\\\\_9\",\n timestamp = \"Tue, 14 May 2019 10:00:50 +0200\",\n biburl = \"https://dblp.org/rec/conf/adaEurope/CarnevaliLPV11.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Carnevali, L.","Lipari, G.","Pinzuti, A.","Vicario, E."],"editor_short":["Romanovsky, A. B.","Vardanega, T."],"key":"DBLP:conf/adaEurope/CarnevaliLPV11","id":"DBLP:conf/adaEurope/CarnevaliLPV11","bibbaseid":"carnevali-lipari-pinzuti-vicario-aformalapproachtodesignandverificationoftwolevelhierarchicalschedulingsystems-2011","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-21338-0\\\\_9"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","downloads":0,"search_terms":["formal","approach","design","verification","two","level","hierarchical","scheduling","systems","carnevali","lipari","pinzuti","vicario"],"title":"A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems","year":2011,"dataSources":["D2zgBSYwYcJStboXK","PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[]}