{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:54:14Z","timestamp":1725494054010},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_12","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T03:58:10Z","timestamp":1193716690000},"page":"153-153","source":"Crossref","is-referenced-by-count":0,"title":["VIP: A Visual Interface for Promela"],"prefix":"10.1007","author":[{"given":"Moataz","family":"Kamel","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Leue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"unstructured":"Rational Software Corporation. UML notation guide. Research report, 1997. See also http:\/\/www.rational.com\/uml . Also The Object Management Group, document number ad\/07-08-05.","key":"12_CR1"},{"issue":"5","key":"12_CR2","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann. The model checker Spin. IEEE Trans. on Software Engineering, 23(5):279\u2013295, May 1997. Special issue on Formal Methods in Software Practice.","journal-title":"IEEE Trans. on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"S. Leue and G. Holzmann. v-Promela: A Visual, Object-Oriented Language for SPIN. In Proceedings of the 2nd IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC\u201999), Saint Malo, France, pages 14\u201323. IEEE Computer Society Press, May 1999.","key":"12_CR3","DOI":"10.1109\/ISORC.1999.776345"},{"unstructured":"B. Selic, G. Gullekson, and P.T. Ward. Real-Time Object-Oriented Modelling. John Wiley & Sons, Inc., 1994.","key":"12_CR4"},{"doi-asserted-by":"crossref","unstructured":"B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. http:\/\/www.objectime.com\/new\/uml\/index.html , March 1998.","key":"12_CR5","DOI":"10.1007\/BFb0057795"}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T03:15:35Z","timestamp":1556939735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}