%0 Conference Paper %1 conf/ipps/OlveczkyPL08 %A Ölveczky, Peter Csaba %A Prabhakar, Pavithra %A Liu, Xue %B IPDPS %D 2008 %I IEEE %K dblp %P 1-8 %T Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. %U http://dblp.uni-trier.de/db/conf/ipps/ipdps2008.html#OlveczkyPL08

@inproceedings{conf/ipps/OlveczkyPL08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ölveczky, Peter Csaba and Prabhakar, Pavithra and Liu, Xue}, biburl = {https://www.bibsonomy.org/bibtex/237ae9dfd8e4da906b085fe5234d0beed/dblp}, booktitle = {IPDPS}, crossref = {conf/ipps/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/IPDPS.2008.4536574}, interhash = {74d83e089cba37f2047381959671b21d}, intrahash = {37ae9dfd8e4da906b085fe5234d0beed}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2024-04-10T17:23:13.000+0200}, title = {Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.}, url = {http://dblp.uni-trier.de/db/conf/ipps/ipdps2008.html#OlveczkyPL08}, year = 2008 }