@inproceedings{FASE-2006-OlveczkyC,
author = "Peter Csaba Ölveczky and Marco Caccamo",
booktitle = "{Proceedings of the Ninth International Conference on Fundamental Approaches to Software Engineering}",
doi = "10.1007/11693017_26",
isbn = "3-540-33093-3",
pages = "357--372",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude}",
volume = 3922,
year = 2006,
}
Tags: