000850798 000__ 02128cam\a2200505Ii\4500
000850798 001__ 850798
000850798 005__ 20230306144958.0
000850798 006__ m\\\\\o\\d\\\\\\\\
000850798 007__ cr\cn\nnnunnun
000850798 008__ 180919s2018\\\\sz\a\\\\ob\\\\101\0\eng\d
000850798 020__ $$a9783030002503$$q(electronic book)
000850798 020__ $$a3030002500$$q(electronic book)
000850798 020__ $$z9783030002497
000850798 0247_ $$a10.1007/978-3-030-00250-3$$2doi
000850798 035__ $$aSP(OCoLC)on1052895200
000850798 035__ $$aSP(OCoLC)1052895200
000850798 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dNLE$$dOCLCF
000850798 049__ $$aISEA
000850798 050_4 $$aQA76.76.V47
000850798 08204 $$a004$$223
000850798 1112_ $$aRP (Workshop)$$n(12th :$$d2018 :$$cMarseille, France)
000850798 24510 $$aReachability problems :$$b12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /$$cIgor Potapov, Pierre-Alain Reynier (editors).
000850798 2463_ $$aRP 2018
000850798 264_1 $$aCham, Switzerland :$$bSpringer,$$c2018.
000850798 300__ $$a1 online resource (xxi, 161 pages) :$$billustrations.
000850798 336__ $$atext$$btxt$$2rdacontent
000850798 337__ $$acomputer$$bc$$2rdamedia
000850798 338__ $$aonline resource$$bcr$$2rdacarrier
000850798 4901_ $$aLecture notes in computer science ;$$v11123
000850798 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000850798 500__ $$aInternational conference proceedings.
000850798 504__ $$aIncludes bibliographical references and author index.
000850798 506__ $$aAccess limited to authorized users.
000850798 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 19, 2018).
000850798 650_0 $$aComputer systems$$xVerification$$vCongresses.
000850798 650_0 $$aDecidability (Mathematical logic)$$vCongresses.
000850798 650_0 $$aComputer science$$xMathematics$$vCongresses.
000850798 7001_ $$aPotapov, Igor,$$eeditor.
000850798 7001_ $$aReynier, Pierre-Alain,$$eeditor.
000850798 830_0 $$aLecture notes in computer science ;$$v11123.
000850798 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000850798 852__ $$bebk
000850798 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-00250-3$$zOnline Access$$91397441.1
000850798 909CO $$ooai:library.usi.edu:850798$$pGLOBAL_SET
000850798 980__ $$aEBOOK
000850798 980__ $$aBIB
000850798 982__ $$aEbook
000850798 983__ $$aOnline
000850798 994__ $$a92$$bISE