BibTeX entry
@inproceedings{Ouimet_1432:2006, author = {Martin Ouimet and Kristina Lundqvist}, title = {The Timed Abstract State Machine Language and the Hi-Five Framework}, booktitle = {27th IEEE International Real-Time Systems Symposium (RTSS '06) - Work in Progress Session}, month = {December}, year = {2006}, url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1432}, } |