%0 Journal Article %1 journals/tcos/VinhB08 %A Vinh, Phan Cong %A Bowen, Jonathan P. %B Trans. Comput. Sci. %D 2008 %E Gavrilova, Marina L. %E Tan, Chih Jeng Kenneth %I Springer %J Trans. Comput. Sci. %K dblp %P 1-36 %T Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. %U http://dblp.uni-trier.de/db/journals/tcos/tcos1.html#VinhB08 %V 1 %@ 978-3-540-79298-7

@article{journals/tcos/VinhB08, added-at = {2020-03-06T00:00:00.000+0100}, author = {Vinh, Phan Cong and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2fac6c6e70f0a020895e311ca5de8f36a/dblp}, booktitle = {Trans. Comput. Sci.}, crossref = {journals/tcos/2008-1}, editor = {Gavrilova, Marina L. and Tan, Chih Jeng Kenneth}, ee = {https://www.wikidata.org/entity/Q56940388}, interhash = {82ff4dd7d5066fb3407d340a31847a43}, intrahash = {fac6c6e70f0a020895e311ca5de8f36a}, isbn = {978-3-540-79298-7}, journal = {Trans. Comput. Sci.}, keywords = {dblp}, pages = {1-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:16:37.000+0100}, title = {Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.}, url = {http://dblp.uni-trier.de/db/journals/tcos/tcos1.html#VinhB08}, volume = 1, year = 2008 }