@article{pinzuti_compositional_2013,
	title = {Compositional verification for {Hierarchical} {Scheduling} of {Real}-{Time} systems},
	url = {https://core.ac.uk/display/301566110?recSetID=},
	language = {en-gb},
	urldate = {2021-01-29},
	author = {Pinzuti, Alessandro},
	year = {2013},
	keywords = {⛔ No DOI found},
}

{"_id":"6en9dbQRmrjXcfqkq","bibbaseid":"pinzuti-compositionalverificationforhierarchicalschedulingofrealtimesystems-2013","author_short":["Pinzuti, A."],"bibdata":{"bibtype":"article","type":"article","title":"Compositional verification for Hierarchical Scheduling of Real-Time systems","url":"https://core.ac.uk/display/301566110?recSetID=","language":"en-gb","urldate":"2021-01-29","author":[{"propositions":[],"lastnames":["Pinzuti"],"firstnames":["Alessandro"],"suffixes":[]}],"year":"2013","keywords":"⛔ No DOI found","bibtex":"@article{pinzuti_compositional_2013,\n\ttitle = {Compositional verification for {Hierarchical} {Scheduling} of {Real}-{Time} systems},\n\turl = {https://core.ac.uk/display/301566110?recSetID=},\n\tlanguage = {en-gb},\n\turldate = {2021-01-29},\n\tauthor = {Pinzuti, Alessandro},\n\tyear = {2013},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Pinzuti, A."],"key":"pinzuti_compositional_2013","id":"pinzuti_compositional_2013","bibbaseid":"pinzuti-compositionalverificationforhierarchicalschedulingofrealtimesystems-2013","role":"author","urls":{"Paper":"https://core.ac.uk/display/301566110?recSetID="},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["compositional","verification","hierarchical","scheduling","real","time","systems","pinzuti"],"title":"Compositional verification for Hierarchical Scheduling of Real-Time systems","year":2013}