%0 Journal Article %1 journals/jcp/SagahyroonLK12 %A Sagahyroon, Assim %A Lakkaraj, Geetha %A Karunaratne, Maddu %D 2012 %J J. Comput. %K dblp %N 11 %P 2641-2649 %T Verification Components Reuse. %U http://dblp.uni-trier.de/db/journals/jcp/jcp7.html#SagahyroonLK12 %V 7

@article{journals/jcp/SagahyroonLK12, added-at = {2021-02-25T00:00:00.000+0100}, author = {Sagahyroon, Assim and Lakkaraj, Geetha and Karunaratne, Maddu}, biburl = {https://www.bibsonomy.org/bibtex/2afe7163df8375295f25c6bcda063683e/dblp}, ee = {https://doi.org/10.4304/jcp.7.11.2641-2649}, interhash = {b3d837b3784dd989864a88a3265a8602}, intrahash = {afe7163df8375295f25c6bcda063683e}, journal = {J. Comput.}, keywords = {dblp}, number = 11, pages = {2641-2649}, timestamp = {2024-04-09T06:17:58.000+0200}, title = {Verification Components Reuse.}, url = {http://dblp.uni-trier.de/db/journals/jcp/jcp7.html#SagahyroonLK12}, volume = 7, year = 2012 }