[{"user_id":"4A997E50-F248-11E8-B48F-1D18A9856A87","date_updated":"2022-04-01T13:45:24Z","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642136740","9783642136757"]},"doi":"10.1007/978-3-642-13675-7_1","citation":{"ieee":"G. Juhás, I. Kazlov, and A. Juhásová, “Instance Deadlock: A Mystery behind Frozen Programs,” in <i>Applications and Theory of Petri Nets</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 1–17.","ista":"Juhás G, Kazlov I, Juhásová A. 2010.Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. , 1–17.","chicago":"Juhás, Gabriel, Igor Kazlov, and Ana Juhásová. “Instance Deadlock: A Mystery behind Frozen Programs.” In <i>Applications and Theory of Petri Nets</i>, 1–17. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. <a href=\"https://doi.org/10.1007/978-3-642-13675-7_1\">https://doi.org/10.1007/978-3-642-13675-7_1</a>.","mla":"Juhás, Gabriel, et al. “Instance Deadlock: A Mystery behind Frozen Programs.” <i>Applications and Theory of Petri Nets</i>, Springer Berlin Heidelberg, 2010, pp. 1–17, doi:<a href=\"https://doi.org/10.1007/978-3-642-13675-7_1\">10.1007/978-3-642-13675-7_1</a>.","short":"G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.","apa":"Juhás, G., Kazlov, I., &#38; Juhásová, A. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In <i>Applications and Theory of Petri Nets</i> (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-13675-7_1\">https://doi.org/10.1007/978-3-642-13675-7_1</a>","ama":"Juhás G, Kazlov I, Juhásová A. Instance Deadlock: A Mystery behind Frozen Programs. In: <i>Applications and Theory of Petri Nets</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:1-17. doi:<a href=\"https://doi.org/10.1007/978-3-642-13675-7_1\">10.1007/978-3-642-13675-7_1</a>"},"title":"Instance Deadlock: A Mystery behind Frozen Programs","author":[{"last_name":"Juhás","full_name":"Juhás, Gabriel","first_name":"Gabriel"},{"first_name":"Igor","full_name":"Kazlov, Igor","last_name":"Kazlov","id":"4A997E50-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Juhásová, Ana","first_name":"Ana","last_name":"Juhásová"}],"type":"book_chapter","oa_version":"None","year":"2010","publication_status":"published","publisher":"Springer Berlin Heidelberg","publication":"Applications and Theory of Petri Nets","status":"public","page":"1-17","article_processing_charge":"No","extern":"1","place":"Berlin, Heidelberg","_id":"5940","date_created":"2019-02-08T09:33:41Z","date_published":"2010-01-01T00:00:00Z"}]