@inproceedings{DBLP:conf/adaEurope/CarnevaliGV08,
    author = "Carnevali, Laura and Grassi, Leonardo and Vicario, Enrico",
    editor = "Kordon, Fabrice and Vardanega, Tullio",
    title = "A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets",
    booktitle = "Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "5026",
    pages = "87--100",
    publisher = "Springer",
    year = "2008",
    url = "https://doi.org/10.1007/978-3-540-68624-8\\_7",
    doi = "10.1007/978-3-540-68624-8\\_7",
    timestamp = "Tue, 14 May 2019 10:00:50 +0200",
    biburl = "https://dblp.org/rec/conf/adaEurope/CarnevaliGV08.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"8trgZ7FzxMgeaZqBD","bibbaseid":"carnevali-grassi-vicario-atailoredvmodelexploitingthetheoryofpreemptivetimepetrinets-2008","author_short":["Carnevali, L.","Grassi, L.","Vicario, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Carnevali"],"firstnames":["Laura"],"suffixes":[]},{"propositions":[],"lastnames":["Grassi"],"firstnames":["Leonardo"],"suffixes":[]},{"propositions":[],"lastnames":["Vicario"],"firstnames":["Enrico"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Kordon"],"firstnames":["Fabrice"],"suffixes":[]},{"propositions":[],"lastnames":["Vardanega"],"firstnames":["Tullio"],"suffixes":[]}],"title":"A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets","booktitle":"Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings","series":"Lecture Notes in Computer Science","volume":"5026","pages":"87–100","publisher":"Springer","year":"2008","url":"https://doi.org/10.1007/978-3-540-68624-8\\\\_7","doi":"10.1007/978-3-540-68624-8\\_7","timestamp":"Tue, 14 May 2019 10:00:50 +0200","biburl":"https://dblp.org/rec/conf/adaEurope/CarnevaliGV08.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/adaEurope/CarnevaliGV08,\n author = \"Carnevali, Laura and Grassi, Leonardo and Vicario, Enrico\",\n editor = \"Kordon, Fabrice and Vardanega, Tullio\",\n title = \"A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets\",\n booktitle = \"Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"5026\",\n pages = \"87--100\",\n publisher = \"Springer\",\n year = \"2008\",\n url = \"https://doi.org/10.1007/978-3-540-68624-8\\\\_7\",\n doi = \"10.1007/978-3-540-68624-8\\\\_7\",\n timestamp = \"Tue, 14 May 2019 10:00:50 +0200\",\n biburl = \"https://dblp.org/rec/conf/adaEurope/CarnevaliGV08.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Carnevali, L.","Grassi, L.","Vicario, E."],"editor_short":["Kordon, F.","Vardanega, T."],"key":"DBLP:conf/adaEurope/CarnevaliGV08","id":"DBLP:conf/adaEurope/CarnevaliGV08","bibbaseid":"carnevali-grassi-vicario-atailoredvmodelexploitingthetheoryofpreemptivetimepetrinets-2008","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-68624-8\\\\_7"},"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":["tailored","model","exploiting","theory","preemptive","time","petri","nets","carnevali","grassi","vicario"],"title":"A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets","year":2008}