%0 Journal Article %1 journals/ibmsj/BindingBDKY92 %A Binding, Carl %A Bouma, Wiet %A Dauphin, Michel %A Karjoth, Günter %A Yang, Yan %D 1992 %J IBM Systems Journal %K dblp %N 4 %P 668-690 %T A Common Compiler for LOTOS and SDL Specifications. %U http://dblp.uni-trier.de/db/journals/ibmsj/ibmsj31.html#BindingBDKY92 %V 31

@article{journals/ibmsj/BindingBDKY92, added-at = {2012-09-19T00:00:00.000+0200}, author = {Binding, Carl and Bouma, Wiet and Dauphin, Michel and Karjoth, Günter and Yang, Yan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26a9d5d5e09ff6a881f985cca81056593/dblp}, ee = {http://dx.doi.org/10.1147/sj.314.0668}, interhash = {6f567ae7823af07fd2cc7c689da00dad}, intrahash = {6a9d5d5e09ff6a881f985cca81056593}, journal = {IBM Systems Journal}, keywords = {dblp}, number = 4, pages = {668-690}, timestamp = {2016-02-02T08:07:01.000+0100}, title = {A Common Compiler for LOTOS and SDL Specifications.}, url = {http://dblp.uni-trier.de/db/journals/ibmsj/ibmsj31.html#BindingBDKY92}, volume = 31, year = 1992 }