{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:22:15Z","timestamp":1725477735418},"publisher-location":"Boston, MA","reference-count":13,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387393872"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-39388-9_12","type":"book-chapter","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T12:55:34Z","timestamp":1168952134000},"page":"121-126","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid modeling and verification of Java based software"],"prefix":"10.1007","author":[{"given":"Konrad","family":"Ku\u0142akowski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Code Complete","author":"S. McConnell","year":"1993","unstructured":"McConnell, S.: Code Complete. Microsoft Press, Redmond, WA. (1993)"},{"key":"12_CR2","unstructured":"Bruns, G.: Distributed Systems Analysis. Prentice Hall (1997)"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/3-540-53479-2_14","volume-title":"Semantics of Systems of Concurrent Processes","author":"U. Goltz","year":"1990","unstructured":"Goltz, U.; CCS and Petri Nets. In: Semantics of Systems of Concurrent Processes, Berlin-Heidelberg-New York, Springer (1990) 334\u2013357"},{"key":"12_CR4","unstructured":"Ku\u0142akowski, K.: Konstrukcja i Analiza Oprogramowania Sterownik\u00f3w Wspomagana Metodami Formalnymi. PhD thesis, Akademia G\u00f3rniczo-Hutnicza (2003)"},{"key":"12_CR5","unstructured":"Groote, J., Voorhoeve, M.: Operational semantics for petri net components (2003)"},{"key":"12_CR6","volume-title":"Formal Methods for Concurrency","author":"C. Fencott","year":"1995","unstructured":"Fencott, C.: Formal Methods for Concurrency. International Thomson Computer Press, Boston, MA, USA (1995)"},{"key":"12_CR7","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Jancar, P., Esparza, J.: Deciding finiteness of Petri Nets up to Bisimulation. Lecture Notes in Computer Science 1099 (1996)","DOI":"10.1007\/3-540-61440-0_152"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems, Volume 92 of LNCS. Springer-Verlag (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"12_CR10","unstructured":"Fidge, C.: A comparative introduction to CSP, CCS and LOTOS. Technical report (1994)"},{"key":"12_CR11","volume-title":"The Java Series","author":"D. Lea","year":"1997","unstructured":"Lea, D.: Concurrent Programming in Java. The Java Series. Addison-Wesley, Reading, MA (1997)"},{"key":"12_CR12","unstructured":"Moller, F., Stevens, P.: Edinburgh Concurrency Workbench user manual (version 7.1). (Available from http:\/\/homepages.inf.ed.ac.uk\/perdita\/cwb\/)"},{"key":"12_CR13","volume-title":"An Introduction to Programming and Object Oriented Design Using Java 1.5","author":"J. Ni\u00f1o","year":"2005","unstructured":"Ni\u00f1o, J., Hosch, F.A.: An Introduction to Programming and Object Oriented Design Using Java 1.5. Second edn. Wiley, Hoboken, NJ (2005) With CD-ROM.","edition":"Second edn."}],"container-title":["IFIP International Federation for Information Processing","Software Engineering Techniques: Design for Quality"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-39388-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T22:05:17Z","timestamp":1619561117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-39388-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387393872"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-39388-9_12","relation":{},"subject":[]}}