Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Research Publication in BibTex Format

Research Areas
Research Labs
Technical Reports

BibTex in ASCII

@INPROCEEDINGS{xueliu:521, author = "Peter Csaba Olveczky and Pavithra Prabhakar and Xue Liu", title = "Formal modeling and analysis of real-time resource-sharing protocols in {Real-Time} Maude", booktitle = "Proceedings of the 16th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2008)", pages = "1--8", year = 2008}