{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T05:54:17Z","timestamp":1762408457114},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/comswa.2006.1665207","type":"proceedings-article","created":{"date-parts":[[2006,8,8]],"date-time":"2006-08-08T22:44:03Z","timestamp":1155077043000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Case study on the use of SDL for Specifying an IETF micro mobility protocol"],"prefix":"10.1109","author":[{"given":"T.","family":"Melia","sequence":"first","affiliation":[]},{"given":"A.","family":"Sarma","sequence":"additional","affiliation":[]},{"given":"R.L.","family":"Aguiar","sequence":"additional","affiliation":[]},{"given":"D.","family":"Hogrefe","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"3"},{"year":"0","key":"2"},{"year":"0","author":"telelogic tau","key":"1"},{"key":"7","article-title":"OSPF Efficient LSA Refreshment Function in SDL","author":"monkewich","year":"2001","journal-title":"Tenth SDL Forum (SDL'01)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/11506843_14"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/11506843_10"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/11506843_12"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/11506843_7"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/40.7.441"}],"event":{"name":"2006 1st International Conference on Communication Systems Software & Middleware","location":"New Delhi, India"},"container-title":["2006 1st International Conference on Communication Systems Software &amp; Middleware"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11046\/34859\/01665207.pdf?arnumber=1665207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T16:36:19Z","timestamp":1489595779000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1665207\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/comswa.2006.1665207","relation":{},"subject":[]}}