%0 Journal Article %1 journals/eceasst/Brown09 %A Brown, Neil C. C. %D 2009 %J ECEASST %K dblp %T Automatically Generating CSP Models for Communicating Haskell Processes. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst23.html#Brown09 %V 23

@article{journals/eceasst/Brown09, added-at = {2019-05-22T00:00:00.000+0200}, author = {Brown, Neil C. C.}, biburl = {https://www.bibsonomy.org/bibtex/2e70ec6e84d9464d8c60b9fe564907fa7/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.23.325}, interhash = {dde25ef701bb15d6a418b83aebfc88b9}, intrahash = {e70ec6e84d9464d8c60b9fe564907fa7}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2019-05-23T11:50:27.000+0200}, title = {Automatically Generating CSP Models for Communicating Haskell Processes.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst23.html#Brown09}, volume = 23, year = 2009 }