%0 Journal Article %1 journals/ijfcs/HarelK02 %A Harel, David %A Kugler, Hillel %D 2002 %J Int. J. Found. Comput. Sci. %K dblp %N 1 %P 5-51 %T Synthesizing State-Based Object Systems from LSC Specifications. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs13.html#HarelK02 %V 13

@article{journals/ijfcs/HarelK02, added-at = {2019-10-19T00:00:00.000+0200}, author = {Harel, David and Kugler, Hillel}, biburl = {https://www.bibsonomy.org/bibtex/240f4b49ec69a44df84663bccf46ed2eb/dblp}, ee = {https://doi.org/10.1142/S0129054102000935}, interhash = {5fe386e69ff42ca8c0e87597d1a5c017}, intrahash = {40f4b49ec69a44df84663bccf46ed2eb}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {5-51}, timestamp = {2019-10-22T12:53:07.000+0200}, title = {Synthesizing State-Based Object Systems from LSC Specifications.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs13.html#HarelK02}, volume = 13, year = 2002 }