{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:35:31Z","timestamp":1729668931628,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/rait.2012.6194578","type":"proceedings-article","created":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T17:23:58Z","timestamp":1336757038000},"page":"687-693","source":"Crossref","is-referenced-by-count":2,"title":["Minimal loop extraction for leak detection in water pipe network"],"prefix":"10.1109","author":[{"given":"Kailash","family":"Jha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Fluid Mechanics","year":"1997","author":"streeter","key":"17"},{"key":"15","article-title":"Application of global optimisation to the design of pipe network","author":"abebe","year":"1998","journal-title":"Proc 3rd International Conference on Hydro Informatics"},{"key":"16","first-page":"506","article-title":"Simulate the water distribution networks by improved newton-raphson method","volume":"3","author":"vaseti","year":"0","journal-title":"International Journal of Academic Research"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)0733-9429(2004)130:10(1033)"},{"key":"14","article-title":"Modelling and simulation of water systems based on loop equations","volume":"5","author":"arsene","year":"2004","journal-title":"International Journal of Simulation"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240299"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1177\/1045389X05049169"},{"key":"3","first-page":"49","article-title":"Distributed explicit fair cycle detection","author":"cerna","year":"2002","journal-title":"Model Checking Software 10 Th International Spin Workshop Volume 2648 of LNCS"},{"key":"2","first-page":"8","article-title":"Automatic minimal loop extraction and initialization for water pipe network analysis","volume":"9","author":"kailash","year":"2007","journal-title":"International Journal of Simulation Systems Science and Technology"},{"key":"1","article-title":"Analysis of flow in network of conduits of conductors","author":"cross","year":"1936","journal-title":"Bulletin No 286"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.37236\/1294","article-title":"Union of all the minimum cycle basis of outer planar graphs","volume":"4","author":"vismara","year":"1997","journal-title":"Electron J Combin"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00121128"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"6"},{"key":"5","first-page":"49","article-title":"Distributed LTL model checking based on negative cycle detection","author":"brim","year":"2001","journal-title":"Proceeding of Foundation of Software Technology and Theoretical Computer Science (FSt-TCS'01) Volume 2245 of LNCS"},{"key":"4","first-page":"1","article-title":"Property distribution of nested DFS","author":"barnat","year":"2002","journal-title":"Proceedings of the 3rd International Workshop on Verification and Computation Logic"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1137\/0216026"},{"key":"8","article-title":"Simplified distributed LTL model checking by localizing cycles","author":"lafuente","year":"2002","journal-title":"Report No 176 Institut Fur Informatik"}],"event":{"name":"2012 1st International Conference on Recent Advances in Information Technology (RAIT)","start":{"date-parts":[[2012,3,15]]},"location":"Dhanbad, India","end":{"date-parts":[[2012,3,17]]}},"container-title":["2012 1st International Conference on Recent Advances in Information Technology (RAIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6188804\/6194433\/06194578.pdf?arnumber=6194578","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,7]],"date-time":"2020-07-07T09:53:31Z","timestamp":1594115611000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6194578\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/rait.2012.6194578","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}