001450334 000__ 02824cam\a2200529\a\4500
001450334 001__ 1450334
001450334 003__ OCoLC
001450334 005__ 20230310004520.0
001450334 006__ m\\\\\o\\d\\\\\\\\
001450334 007__ cr\un\nnnunnun
001450334 008__ 221015s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001450334 020__ $$a9783031191350$$q(electronic bk.)
001450334 020__ $$a3031191358$$q(electronic bk.)
001450334 020__ $$z303119134X
001450334 020__ $$z9783031191343
001450334 0247_ $$a10.1007/978-3-031-19135-0$$2doi
001450334 035__ $$aSP(OCoLC)1347430938
001450334 040__ $$aYDX$$beng$$cYDX$$dGW5XE$$dOCLCF
001450334 049__ $$aISEA
001450334 050_4 $$aQA76.76.V47$$bI58 2022
001450334 08204 $$a005.1/4$$223/eng/20221020
001450334 1112_ $$aInternational Conference on Reachability Problems$$n(16th :$$d2022 :$$cKaiserslautern, Germany)
001450334 24510 $$aReachability problems :$$b16th international conference, RP 2022 /$$cAnthony W. Lin, Georg Zetzsche, Igor Potapov (eds.).
001450334 2463_ $$aRP 2022
001450334 260__ $$aCham, Switzerland :$$bSpringer,$$c2022.
001450334 300__ $$a1 online resource
001450334 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13608
001450334 500__ $$aIncludes author index.
001450334 506__ $$aAccess limited to authorized users.
001450334 520__ $$aThis book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022. The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.
001450334 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 20, 2022).
001450334 650_0 $$aComputer systems$$xVerification$$vCongresses.
001450334 650_0 $$aDecidability (Mathematical logic)$$vCongresses.
001450334 650_0 $$aComputer science$$xMathematics$$vCongresses.
001450334 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001450334 655_0 $$aElectronic books.
001450334 7001_ $$aLin, Anthony Widjaja,$$eeditor.
001450334 7001_ $$aZetzsche, Georg,$$eeditor.
001450334 7001_ $$aPotapov, Igor,$$eeditor.
001450334 77608 $$iPrint version: $$z303119134X$$z9783031191343$$w(OCoLC)1345514607
001450334 830_0 $$aLecture notes in computer science ;$$v13608.$$x1611-3349
001450334 852__ $$bebk
001450334 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-19135-0$$zOnline Access$$91397441.1
001450334 909CO $$ooai:library.usi.edu:1450334$$pGLOBAL_SET
001450334 980__ $$aBIB
001450334 980__ $$aEBOOK
001450334 982__ $$aEbook
001450334 983__ $$aOnline
001450334 994__ $$a92$$bISE