%0 Conference Paper %1 conf/iscid/SunL09 %A Sun, Lingyu %A Leng, Ming %B ISCID (1) %D 2009 %E Tang, Yongchuan %E Lawry, Jonathan %I IEEE Computer Society %K dblp %P 3-5 %T Formal Derivation of the Maximal Contiguous Subsequence Sum Problem with PAR Method. %U http://dblp.uni-trier.de/db/conf/iscid/iscid2009-1.html#SunL09 %@ 978-0-7695-3865-5

@inproceedings{conf/iscid/SunL09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Sun, Lingyu and Leng, Ming}, biburl = {https://www.bibsonomy.org/bibtex/273203183e98dc895a1cb3ea1ce27a1da/dblp}, booktitle = {ISCID (1)}, crossref = {conf/iscid/2009}, editor = {Tang, Yongchuan and Lawry, Jonathan}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISCID.2009.8}, interhash = {b7127b3a539d2d674e5d297554c5f6ec}, intrahash = {73203183e98dc895a1cb3ea1ce27a1da}, isbn = {978-0-7695-3865-5}, keywords = {dblp}, pages = {3-5}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:01:07.000+0200}, title = {Formal Derivation of the Maximal Contiguous Subsequence Sum Problem with PAR Method.}, url = {http://dblp.uni-trier.de/db/conf/iscid/iscid2009-1.html#SunL09}, year = 2009 }