{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:32:50Z","timestamp":1725467570902},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649557"},{"type":"electronic","value":"9783540499145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055301","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:10:27Z","timestamp":1153991427000},"page":"29-40","source":"Crossref","is-referenced-by-count":1,"title":["Interactive protocol simulation applets for distance education"],"prefix":"10.1007","author":[{"given":"Cora","family":"Burger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Rothermel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Mecklenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"5_CR1","unstructured":"Marc H. Brown and Marc A. Najork. Collaborative active textbooks: A webbased algorithm animation system for an electronic classroom. Technical report, digital Equipment Corporation \u2014 Research and Development, 1996."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Geralf Einert, Franz Huber, and Bernhard Schatz. Consistent graphical specification of distributed systems. In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, FME' 97 \u2014 4th International Symposium of Formal Methods Europe, volume 1313 of Lecture Notes in Computer Science, pages 122\u2013141. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63533-5_7"},{"key":"5_CR3","unstructured":"Fred Halsall. Data Communications, Computer Networks and Open Systems. Addison-Wesley Publishing Company, 1992."},{"key":"5_CR4","unstructured":"Arnulf Mester and Peter Herrmann. Audiovisuelle Animation von verteilten Algorithmen und Kommunikationsprotokollen. Technical report, Arbeitsgruppe Rechnernetze und Verteilte Systeme, Universit\u00c4t Dortmund, 1994."},{"key":"5_CR5","unstructured":"Kenneth Turner, editor. Using Formal Description Techniques \u2014 An Introduction to ESTELLE, LOTOS and SDL. John Wiley & Sons Ltd., 1993."},{"key":"5_CR6","unstructured":"Y. Yemini, R. Strom, and S. Yemini, editors. Protocol Specification, Testing and Validation. Proceedings of the IPFP Workshop. North-Holland Publishing Company, 1984."},{"key":"5_CR7","unstructured":"http:www.mil3.comhome.html."},{"key":"5_CR8","unstructured":"Kevin Fall, Kannan Varadhan, editors. ns Notes and Documentation \u2014 The VINT Project. Technical Report, University of Berkely, 1998."}],"container-title":["Lecture Notes in Computer Science","Interactive Distributed Multimedia Systems and Telecommunication Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T08:35:20Z","timestamp":1555749320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055301"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649557","9783540499145"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0055301","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}