{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:20:31Z","timestamp":1725560431840},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290025"},{"type":"electronic","value":"9783540318293"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11556985_37","type":"book-chapter","created":{"date-parts":[[2005,10,18]],"date-time":"2005-10-18T16:03:41Z","timestamp":1129651421000},"page":"275-280","source":"Crossref","is-referenced-by-count":0,"title":["Parallel State Space Generation and Exploration on\u00a0Shared-Memory Architectures"],"prefix":"10.1007","author":[{"given":"Milan","family":"\u010ce\u0161ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bohuslav","family":"K\u0159ena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Solving Irregularly Structured Problems in Parallel","author":"S.C. Allmaier","year":"1997","unstructured":"Allmaier, S.C., Horton, G.: Parallel Shared-Memory State-Space Exploration in Stochastic Modelling. In: L\u00fcling, R., Bilardi, G., Ferreira, A., Rolim, J.D.P. (eds.) IRREGULAR 1997. LNCS, vol.\u00a01253. Springer, Heidelberg (1997)"},{"key":"37_CR2","volume-title":"Proc. of the ACM 2000 conference on Java Grande","author":"M. Bull","year":"2000","unstructured":"Bull, M., Kambites, M.E.: JOMP\u2014an OpenMP-like Interface for Java. In: Proc. of the ACM 2000 conference on Java Grande. ACM Press, New York (2000)"},{"key":"37_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Systems Theory - EUROCAST\u201999","author":"M. \u010ce\u0161ka","year":"2000","unstructured":"\u010ce\u0161ka, M., Janou\u0161ek, V., Vojnar, T.: Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. In: Kopacek, P., Moreno-D\u00edaz, R., Pichler, F. (eds.) EUROCAST 1999. LNCS, vol.\u00a01798. Springer, Heidelberg (2000)"},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-45210-2_25","volume-title":"Computer Aided Systems Theory - EUROCAST 2003","author":"M. \u010ce\u0161ka","year":"2003","unstructured":"\u010ce\u0161ka, M., Ha\u0161a, L., Vojnar, T.: Partial Order Reduction in Model Checking of Object-Oriented Petri Nets. In: Moreno-D\u00edaz Jr., R., Pichler, F. (eds.) EUROCAST 2003. LNCS, vol.\u00a02809, pp. 265\u2013278. Springer, Heidelberg (2003)"},{"key":"37_CR6","unstructured":"Janou\u0161ek, V.: Modelling Objects by Petri Nets. PhD. thesis, Brno University of Technology, Brno, Czech Republic (1998)"},{"key":"37_CR7","unstructured":"Ko\u010d\u00ed, B.: Methods and Tools for Implementing Open Simulation Systems. PhD. thesis, Brno University of Technology, Brno, Czech Republic (2004)"},{"key":"37_CR8","unstructured":"K\u0159ena, B.: Analysis Methods of Object Oriented Petri Nets. PhD. thesis, Brno University of Technology, Brno, Czech Republic (2004)"},{"key":"37_CR9","unstructured":"Vojnar, T.: Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets. PhD. thesis, Brno University of Technology, Brno, Czech Republic (2001)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11556985_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:08:37Z","timestamp":1619507317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11556985_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290025","9783540318293"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11556985_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}