{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:25:43Z","timestamp":1725488743619},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421245"},{"type":"electronic","value":"9783540451396"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45139-0_17","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T10:39:56Z","timestamp":1186742396000},"page":"272-287","source":"Crossref","is-referenced-by-count":4,"title":["Modeling and verifying a price model for congestion control in computer networks using promela\/spin"],"prefix":"10.1007","author":[{"given":"Clement","family":"Yuen","sequence":"first","affiliation":[]},{"given":"Wei","family":"Tjioe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"key":"17_CR1","unstructured":"P. Marbach, \u201cPricing Priority Classes in Differentiated Services Networks,\u201d 37th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September 1999"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"A. Gupta, D. O. Stahl, and A. B. Whinston, \u201cA Priority Pricing Approach to Manage Multi-Service Class Networks in Real-Time,\u201d. Presented at MIT Workshop on Internet Economics, March 1995","DOI":"10.3998\/3336451.0001.131"},{"issue":"9","key":"17_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/315762.315772","volume":"42","author":"A. Gupta","year":"1999","unstructured":"A. Gupta, D. O. Stahl, and A. B. Whinston, \u201cThe Economics of Network Management,\u201d Communications of the ACM, 42(9): 57\u201363, September 1999","journal-title":"Communications of the ACM"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1016\/S0165-1889(96)00003-6","volume":"21","author":"A. Gupta","year":"1997","unstructured":"A. Gupta, D. O. Stahl, and A. B. Whinston, \u201cA Stochastic Equilibrium Model of Internet Pricing,\u201d, Journal of Economics Dynamics and Control, 21:697\u2013722, 1997","journal-title":"Journal of Economics Dynamics and Control"},{"issue":"5","key":"17_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann, \u201cThe Model Checker SPIN,\u201d IEEE Transactions on Software Engineering, 23(5): 1\u201317, May 1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/10722468_12","volume-title":"SPIN Model Checking and Software Verification: Proc. 7th Int. SPIN Workshop","author":"E. Fersman","year":"2000","unstructured":"E. Fersman and B. Jonsson, \u201cAbstraction of Communication Channels in PROMELA: A Case Study,\u201d In SPIN Model Checking and Software Verification: Proc. 7th Int. SPIN Workshop, volume 1885 of Lecture Notes in Computer Science, pages 187\u2013204, Stanford, CA, 2000. Springer Verlag"},{"key":"17_CR7","unstructured":"Theo C. Ruys and Rom Langerak, \u201cValidation of Bosch\u2019 Mobile Communication Network Architecture with SPIN,\u201d In Proceedings of SPIN97, the Third International Workshop on SPIN, University of Twente, Enschede, The Netherlands, April 1997"},{"issue":"4","key":"17_CR8","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"Klaus Havelund, Thomas Pressburger, \u201cModel Checking JAVA Programs using JAVA PathFinder,\u201d STTT 2(4): 366\u2013381 (2000)","journal-title":"STTT"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen, \u201cModel Checking for Managers,\u201d SPIN 1999: 92\u2013107","DOI":"10.1007\/3-540-48234-2_7"},{"issue":"5","key":"17_CR10","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/2.841785","volume":"33","author":"L. Breslau","year":"2000","unstructured":"Lee Breslau, Deborah Estrin, Kevin Fall, Sally Floyd, John Heidemann, Ahmed Helmy, Polly Huang, Steven McCanne, Kannan Varadhan, Ya Xu, and Haobo Yu, \u201cAdvances in Network Simulation,\u201d IEEE Computer, 33 (5), pp. 59\u201367, May, 2000","journal-title":"IEEE Computer"},{"key":"17_CR11","unstructured":"Sandeep Bajaj, Lee Breslau, Deborah Estrin, Kevin Fall, Sally Floyd, Padma Haldar, Mark Handley, Ahmed Helmy, John Heidemann, Polly Huang, Satish Kumar, Steven McCanne, Reza Rejaie, Puneet Sharma, Kannan Varadhan, Ya Xu, Haobo Yu, and Daniel Zappala, \u201cImproving Simulation for Network Research,\u201d Technical Report 99-702, University of Southern California, March, 1999"},{"key":"17_CR12","unstructured":"Deborah Estrin, Mark Handley, John Heidemann, Steven McCanne, Ya Xu, and Haobo Yu, \u201cNetwork Visualization with the VINT Network Animator Nam,\u201d Technical Report 99-703, University of Southern California, March, 1999"},{"key":"17_CR13","unstructured":"\u201cThe Network Simulator-ns-2,\u201d http:\/\/www.isi.edu\/nsnam\/ns\/"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45139-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T18:17:29Z","timestamp":1556734649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45139-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421245","9783540451396"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45139-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}