%0 Conference Paper %1 conf/RelMiCS/DongolHMS12 %A Dongol, Brijesh %A Hayes, Ian J. %A Meinicke, Larissa %A Solin, Kim %B RAMiCS %D 2012 %E Kahl, Wolfram %E Griffin, Timothy G. %I Springer %K dblp %P 50-65 %T Towards an Algebra for Real-Time Programs. %U http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2012.html#DongolHMS12 %V 7560 %@ 978-3-642-33313-2

@inproceedings{conf/RelMiCS/DongolHMS12, added-at = {2021-12-15T00:00:00.000+0100}, author = {Dongol, Brijesh and Hayes, Ian J. and Meinicke, Larissa and Solin, Kim}, biburl = {https://www.bibsonomy.org/bibtex/2b52c0a68e297532776594fa0c3c0b85f/dblp}, booktitle = {RAMiCS}, crossref = {conf/RelMiCS/2012}, editor = {Kahl, Wolfram and Griffin, Timothy G.}, ee = {https://doi.org/10.1007/978-3-642-33314-9_4}, interhash = {94677e4c3c56c9e32d1484175b3b44b0}, intrahash = {b52c0a68e297532776594fa0c3c0b85f}, isbn = {978-3-642-33313-2}, keywords = {dblp}, pages = {50-65}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:45:59.000+0200}, title = {Towards an Algebra for Real-Time Programs.}, url = {http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2012.html#DongolHMS12}, volume = 7560, year = 2012 }