%0 Journal Article %1 journals/jvrb/RauterbergAH07 %A Rauterberg, Matthias %A Alders, Michel %A Haakma, Reinder %D 2007 %J J. Virtual Real. Broadcast. %K %T How to Improve the Production Process for interactive TV with semi-formal Methods. %U http://dblp.uni-trier.de/db/journals/jvrb/jvrb4.html#RauterbergAH07 %V 4

@article{journals/jvrb/RauterbergAH07, added-at = {2023-12-13T00:52:38.000+0100}, author = {Rauterberg, Matthias and Alders, Michel and Haakma, Reinder}, biburl = {https://www.bibsonomy.org/bibtex/247154bfb83448c5d8f455c6f2c2109a6/admin}, ee = {http://www.jvrb.org/past-issues/4.2007/800}, interhash = {69af7c9cdf52462681b6671dcfef5c69}, intrahash = {47154bfb83448c5d8f455c6f2c2109a6}, journal = {J. Virtual Real. Broadcast.}, keywords = {}, timestamp = {2023-12-13T00:52:38.000+0100}, title = {How to Improve the Production Process for interactive TV with semi-formal Methods.}, url = {http://dblp.uni-trier.de/db/journals/jvrb/jvrb4.html#RauterbergAH07}, volume = 4, year = 2007 }