000913676 000__ 02216cam\a2200529Ii\4500
000913676 001__ 913676
000913676 005__ 20230306150345.0
000913676 006__ m\\\\\o\\d\\\\\\\\
000913676 007__ cr\cn\nnnunnun
000913676 008__ 190912s2019\\\\sz\a\\\\ob\\\\101\0\eng\d
000913676 020__ $$a9783030296629$$q(electronic book)
000913676 020__ $$a3030296628$$q(electronic book)
000913676 020__ $$z9783030296612
000913676 0247_ $$a10.1007/978-3-030-29662-9$$2doi
000913676 035__ $$aSP(OCoLC)on1119382305
000913676 035__ $$aSP(OCoLC)1119382305
000913676 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO
000913676 049__ $$aISEA
000913676 050_4 $$aQA76.9.F67$$bF67 2019eb
000913676 08204 $$a004.01/51$$223
000913676 1112_ $$aFORMATS (Conference)$$n(17th :$$d2019 :$$cAmsterdam, Netherlands)
000913676 24510 $$aFormal modeling and analysis of timed systems :$$b17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings /$$cÉtienne André, Mariëlle Stoelinga (eds.).
000913676 2463_ $$aFORMATS 2019
000913676 264_1 $$aCham :$$bSpringer,$$c[2019]
000913676 264_4 $$c©2019
000913676 300__ $$a1 online resource :$$billustrations.
000913676 336__ $$atext$$btxt$$2rdacontent
000913676 337__ $$acomputer$$bc$$2rdamedia
000913676 338__ $$aonline resource$$bcr$$2rdacarrier
000913676 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v11750
000913676 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000913676 504__ $$aIncludes bibliographical references and index.
000913676 506__ $$aAccess limited to authorized users.
000913676 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 12, 2019).
000913676 650_0 $$aFormal methods (Computer science)$$vCongresses.
000913676 650_0 $$aComputer simulation$$vCongresses.
000913676 650_0 $$aTemporal automata$$vCongresses.
000913676 650_0 $$aSystem analysis$$vCongresses.
000913676 655_7 $$aConference papers and proceedings.
000913676 7001_ $$aAndré, Etienne,$$eeditor.
000913676 7001_ $$aStoelinga, Mariëlle,$$eeditor.
000913676 830_0 $$aLecture notes in computer science ;$$v11750.
000913676 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000913676 852__ $$bebk
000913676 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-29662-9$$zOnline Access$$91397441.1
000913676 909CO $$ooai:library.usi.edu:913676$$pGLOBAL_SET
000913676 980__ $$aEBOOK
000913676 980__ $$aBIB
000913676 982__ $$aEbook
000913676 983__ $$aOnline
000913676 994__ $$a92$$bISE