%0 Journal Article %1 scuglik_03_automatically %A Scuglik, Frantisek %A Sv'eda, Miroslav %D 2003 %J J. UCS %K 2003 _no_doi csp %N 11 %P 1277--1295 %T Automatically Generated CSP Specifications %U http://dblp.uni-trier.de/rec/bibtex/journals/jucs/ScuglikS03 %V 9

@article{scuglik_03_automatically, added-at = {2009-02-12T11:44:29.000+0100}, author = {Scuglik, Frantisek and Sv'{e}da, Miroslav}, biburl = {https://www.bibsonomy.org/bibtex/244ca4cb11827207646bc2c9d553561de/leonardo}, citeulike-article-id = {1967493}, interhash = {8d3683082dda809925a0191bddf8ca16}, intrahash = {44ca4cb11827207646bc2c9d553561de}, journal = {J. UCS}, keywords = {2003 _no_doi csp}, number = 11, pages = {1277--1295}, posted-at = {2007-11-23 16:57:22}, priority = {3}, timestamp = {2009-02-12T11:44:29.000+0100}, title = {Automatically Generated CSP Specifications}, url = {http://dblp.uni-trier.de/rec/bibtex/journals/jucs/ScuglikS03}, volume = 9, year = 2003 }