%0 Journal Article %1 journals/jsa/PuckoKK94 %A Pucko, Marjeta %A Kapus-Kolar, Monika %A Kandus, Gorazd %D 1994 %J Microprocessing and Microprogramming %K dblp %N 10-12 %P 707-710 %T Automated derivation of protocols implementing intelligent network services. %U http://dblp.uni-trier.de/db/journals/jsa/jsa40.html#PuckoKK94 %V 40

@article{journals/jsa/PuckoKK94, added-at = {2009-09-17T00:00:00.000+0200}, author = {Pucko, Marjeta and Kapus-Kolar, Monika and Kandus, Gorazd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/258da75627f535d832b611a080fa07ba2/dblp}, ee = {http://dx.doi.org/10.1016/0165-6074(94)90023-X}, interhash = {b89490f97065bf34e54c2d587ee591e5}, intrahash = {58da75627f535d832b611a080fa07ba2}, journal = {Microprocessing and Microprogramming}, keywords = {dblp}, number = {10-12}, pages = {707-710}, timestamp = {2016-02-02T03:42:16.000+0100}, title = {Automated derivation of protocols implementing intelligent network services.}, url = {http://dblp.uni-trier.de/db/journals/jsa/jsa40.html#PuckoKK94}, volume = 40, year = 1994 }