{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:17Z","timestamp":1725663737212},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566106"},{"type":"electronic","value":"9783540475989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56610-4_59","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:22:37Z","timestamp":1330255357000},"page":"105-120","source":"Crossref","is-referenced-by-count":1,"title":["Yeast: A case study for a practical use of formal methods"],"prefix":"10.1007","author":[{"given":"Paola","family":"Inverardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Balachander","family":"Krishnamurthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Yankelevich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"unstructured":"Balachander Krishnamurthy and David Rosenblum. An Event-Action Model of Computer-Supported Cooperative Work: Design and Implementation In International Workshop on Computer Supported Cooperative Work, Berlin, April 1991","key":"8_CR1"},{"doi-asserted-by":"crossref","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, M.Pezze. A General Way To Put Time In Petri Nets In 5th International Workshop on Software Specification and Design, IEEE, May 1989.","key":"8_CR2","DOI":"10.1145\/75199.75210"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","volume":"4","author":"N. D. Jones","year":"1977","unstructured":"N.D. Jones, L.H. Landweber and Y.E. Lien. Complexity of some Problems in Petri Nets Theoret. Comp. Sci., 4, (1977), 277\u2013299","journal-title":"Comp. Sci."},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88:105\u2013155, 1990.","journal-title":"Information and Computation"},{"unstructured":"W. Reisig. Petri nets \u2014 an introduction. EATCS Monographs on Theoretical Computer Science, Volume 4. Springer-Verlag, 1985.","key":"8_CR5"},{"unstructured":"G.D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.","key":"8_CR6"},{"doi-asserted-by":"crossref","unstructured":"J. W. de Bakker, W.P. de Roever and G. Rozenmberg (Eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Lecture Notes in Computer Science 354, Springer-Verlag, June 1988","key":"8_CR7","DOI":"10.1007\/BFb0013019"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF01245633","volume":"3","author":"V. S. Alagar","year":"1991","unstructured":"V. S. Alagar and G. Ramanathan. Functional Specifications and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. Formal Aspects of Computing, 3:253\u2013283, 1991.","journal-title":"Formal Aspects of Computing"},{"issue":"9","key":"8_CR9","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A. K. Mok: Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions on Software Engineering, 12(9):890\u2013904, 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"N. De Francesco and P. Inverardi. Proving Fineteness of CCS Processes by Non-Standard Semantics In Proc. CAV 91 Workshop Lecture Notes in Computer Science 575, Springer-Verlag, pp. 266\u2013276, 1992.","key":"8_CR10","DOI":"10.1007\/3-540-55179-4_26"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT'93: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56610-4_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:58Z","timestamp":1605647098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56610-4_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566106","9783540475989"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56610-4_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}