{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:08:40Z","timestamp":1725746920197},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319024431"},{"type":"electronic","value":"9783319024448"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02444-8_33","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T01:11:21Z","timestamp":1377738681000},"page":"451-454","source":"Crossref","is-referenced-by-count":4,"title":["LTL Model Checking with Neco"],"prefix":"10.1007","author":[{"given":"\u0141ukasz","family":"Fronc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Duret-Lutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"Property Specification Language Reference Manual v1.1. Accellera (June 2004), \n                    \n                      http:\/\/www.eda.org\/vfv\/"},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11537328_15","volume-title":"Model Checking Software","author":"J.-M. Couvreur","year":"2005","unstructured":"Couvreur, J.-M., Duret-Lutz, A., Poitrenaud, D.: On-the-fly emptiness checks for generalized b\u00fcchi automata. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol.\u00a03639, pp. 169\u2013184. Springer, Heidelberg (2005)"},{"key":"33_CR3","series-title":"Electronic Workshops in Computing","volume-title":"Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011)","author":"A. Duret-Lutz","year":"2011","unstructured":"Duret-Lutz, A.: LTL translation improvements in Spot. In: Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011). Electronic Workshops in Computing, British Computer Society, Tunis (2011), \n                    \n                      http:\/\/ewic.bcs.org\/category\/15853"},{"key":"33_CR4","first-page":"76","volume-title":"Proceedings of the 12th IEEE\/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004)","author":"A. Duret-Lutz","year":"2004","unstructured":"Duret-Lutz, A., Poitrenaud, D.: SPOT: An Extensible Model Checking Library using Transition-based Generalized B\u00fcchi Automata. In: Proceedings of the 12th IEEE\/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004), pp. 76\u201383. IEEE Computer Society Press, Volendam (2004)"},{"key":"33_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"Nissim Francez","year":"1986","unstructured":"Francez, N.: Fairness. Springer (1986)"},{"key":"33_CR6","unstructured":"Fronc, \u0141.: Effective marking equivalence checking in systems with dynamic process creation. In: Proceedings of the 14th International Workshop on Verification of Infinite-State Systems (Infinity 2012), Paris. EPTCS (August 2012)"},{"key":"33_CR7","unstructured":"Fronc, \u0141., Pommereau, F.: Optimizing the compilation of Petri Nets models. In: Proceedings of the Second International Workshop on Scalable and Usable Model Checking for Petri Net and other Models of Concurrency (SUMO 2011), vol.\u00a0726. CEUR (2011)"},{"key":"33_CR8","unstructured":"Fronc, \u0141., Pommereau, F.: Building Petri Nets tools around Neco compiler. In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2013), Milano, vol.\u00a0989. CEUR (June 2013)"},{"key":"33_CR9","unstructured":"Hillah, L., Kindler, E., Kordon, F., Petrucci, L., Tr\u00e8ves, N.: A primer on the Petri Net Markup Language and ISO\/IEC 15909-2. In: Proceedings of the 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools, CPN 2009 (October 2009)"},{"key":"33_CR10","unstructured":"Kordon, F., et al.: Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs\/1209.2382 (2012)"},{"key":"33_CR11","unstructured":"Pommereau, F.: Algebras of coloured Petri Nets. LAP LAMBERT Academic Publishing (2010)"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"Pommereau, F.: Quickly prototyping Petri Nets tools with SNAKES. Petri Net Newsletter (October 2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3007"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02444-8_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T20:27:38Z","timestamp":1558038458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02444-8_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319024431","9783319024448"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02444-8_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}