{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:21:06Z","timestamp":1742912466115,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408222"},{"type":"electronic","value":"9783540452348"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45234-8_140","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T01:12:05Z","timestamp":1294449125000},"page":"1145-1148","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking"],"prefix":"10.1007","author":[{"given":"Tomoya","family":"Kitani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshifumi","family":"Takamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isao","family":"Naka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keiichi","family":"Yasumoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akio","family":"Nakata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teruo","family":"Higashino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,9,30]]},"reference":[{"issue":"1-1","key":"140_CR1","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HYTECH: A Model Checker for Hybrid Systems. International Journal on Software Tools for Technology Transfer\u00a01(1-1), 110\u2013122 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"140_CR2","unstructured":"I.S.O.: Information Processing System, Open Systems Interconnection LOTOS. ISO 8807 (1989)"},{"key":"140_CR3","doi-asserted-by":"crossref","unstructured":"Katagiri, H., Kirimura, M., Yasumoto, K., Higashino, T., Taniguchi, K.: Hardware Implementation of Concurrent Periodic EFSMs. In: Proc. of Joint Intl. Conf. on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification (FORTE\/PSTV2000), pp. 285\u2013300 (2000)","DOI":"10.1007\/978-0-387-35533-7_18"},{"key":"140_CR4","doi-asserted-by":"crossref","unstructured":"Nakata, A., Higashino, T.: Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. In: Proc. of 21st IFIP Int\u2019l Conf. on Formal Techniques for Networked and Distributed Systems (FORTE2001), pp. 151\u2013166 (2001)","DOI":"10.1007\/0-306-47003-9_10"},{"issue":"3","key":"140_CR5","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1109\/90.234856","volume":"1","author":"A. Parekh","year":"1993","unstructured":"Parekh, A., Gallager, B.: A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks\u2014The Single Node Case \u2014. IEEE\/ACM Trans. on Networking\u00a01(3), 344\u2013357 (1993)","journal-title":"IEEE\/ACM Trans. on Networking"}],"container-title":["Lecture Notes in Computer Science","Field Programmable Logic and Application"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45234-8_140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,16]],"date-time":"2020-01-16T16:07:24Z","timestamp":1579190844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45234-8_140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408222","9783540452348"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45234-8_140","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"30 September 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}