%0 Conference Paper %1 conf/adaEurope/CarnevaliLPV11 %A Carnevali, Laura %A Lipari, Giuseppe %A Pinzuti, Alessandro %A Vicario, Enrico %B Ada-Europe %D 2011 %E Romanovsky, Alexander B. %E Vardanega, Tullio %I Springer %K dblp %P 118-131 %T A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. %U http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2011.html#CarnevaliLPV11 %V 6652 %@ 978-3-642-21337-3

@inproceedings{conf/adaEurope/CarnevaliLPV11, added-at = {2017-05-29T00:00:00.000+0200}, author = {Carnevali, Laura and Lipari, Giuseppe and Pinzuti, Alessandro and Vicario, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/214c1281f78d9c5e01794697086fc598d/dblp}, booktitle = {Ada-Europe}, crossref = {conf/adaEurope/2011}, editor = {Romanovsky, Alexander B. and Vardanega, Tullio}, ee = {https://doi.org/10.1007/978-3-642-21338-0_9}, interhash = {f90a42449ea9cdebfa00cf2387eb27ba}, intrahash = {14c1281f78d9c5e01794697086fc598d}, isbn = {978-3-642-21337-3}, keywords = {dblp}, pages = {118-131}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:00:13.000+0200}, title = {A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.}, url = {http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2011.html#CarnevaliLPV11}, volume = 6652, year = 2011 }