%0 Conference Paper %1 conf/rtcsa/IshakianBK10 %A Ishakian, Vatche %A Bestavros, Azer %A Kfoury, Assaf J. %B RTCSA %D 2010 %I IEEE Computer Society %K dblp %P 143-152 %T A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2010.html#IshakianBK10 %@ 978-1-4244-8480-5

@inproceedings{conf/rtcsa/IshakianBK10, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ishakian, Vatche and Bestavros, Azer and Kfoury, Assaf J.}, biburl = {https://www.bibsonomy.org/bibtex/28fba00f67749d84a9da86a85863e818e/dblp}, booktitle = {RTCSA}, crossref = {conf/rtcsa/2010}, ee = {https://www.wikidata.org/entity/Q61693648}, interhash = {74b558bc7a802971baafb420b27b7d31}, intrahash = {8fba00f67749d84a9da86a85863e818e}, isbn = {978-1-4244-8480-5}, keywords = {dblp}, pages = {143-152}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:23:56.000+0200}, title = {A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2010.html#IshakianBK10}, year = 2010 }