%0 Journal Article %1 journals/jsi/KramerVLK98 %A Krämer, Bernd J. %A Völker, Norbert %A Lichtenecker, Reiner %A Kötter, Hans-Friedrich %D 1998 %J Journal of Systems Integration %K dblp %N 2 %P 143-158 %T Deriving CORBA Applications from Formal Specifications. %U http://dblp.uni-trier.de/db/journals/jsi/jsi8.html#KramerVLK98 %V 8

@article{journals/jsi/KramerVLK98, added-at = {2010-11-26T00:00:00.000+0100}, author = {Krämer, Bernd J. and Völker, Norbert and Lichtenecker, Reiner and Kötter, Hans-Friedrich}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cb70a47f72d7d52a17b68e75730348f1/dblp}, ee = {http://dx.doi.org/10.1023/A:1008226622237}, interhash = {20bf2e5ad142dad6237627ad35cd4835}, intrahash = {cb70a47f72d7d52a17b68e75730348f1}, journal = {Journal of Systems Integration}, keywords = {dblp}, number = 2, pages = {143-158}, timestamp = {2016-02-02T06:45:29.000+0100}, title = {Deriving CORBA Applications from Formal Specifications.}, url = {http://dblp.uni-trier.de/db/journals/jsi/jsi8.html#KramerVLK98}, volume = 8, year = 1998 }