000760159 000__ 02347cam\a2200529Ii\4500
000760159 001__ 760159
000760159 005__ 20230306142030.0
000760159 006__ m\\\\\o\\d\\\\\\\\
000760159 007__ cr\cn\nnnunnun
000760159 008__ 160825s2016\\\\sz\a\\\\ob\\\\101\0\eng\d
000760159 019__ $$a957739588$$a958085810$$a958392667
000760159 020__ $$a9783319448787$$q(electronic book)
000760159 020__ $$a3319448781$$q(electronic book)
000760159 020__ $$z9783319448770
000760159 020__ $$z3319448773
000760159 035__ $$aSP(OCoLC)ocn957269622
000760159 035__ $$aSP(OCoLC)957269622$$z(OCoLC)957739588$$z(OCoLC)958085810$$z(OCoLC)958392667
000760159 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDX
000760159 049__ $$aISEA
000760159 050_4 $$aQA76.9.C65$$bF67 2016eb
000760159 08204 $$a003/.3$$223
000760159 1112_ $$aFORMATS (Conference)$$n(14th :$$d2016 :$$cQuébec, Québec)
000760159 24510 $$aFormal modeling and analysis of timed systems$$h[electronic resource] :$$b14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /$$cMartin Fränzle, Nicolas Markey (eds.).
000760159 2463_ $$aFORMATS 2016
000760159 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000760159 300__ $$a1 online resource (xii, 245 pages) :$$billustrations (chiefly color).
000760159 336__ $$atext$$btxt$$2rdacontent
000760159 337__ $$acomputer$$bc$$2rdamedia
000760159 338__ $$aonline resource$$bcr$$2rdacarrier
000760159 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000760159 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9884
000760159 504__ $$aIncludes bibliographical references and author index.
000760159 506__ $$aAccess limited to authorized users.
000760159 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 25, 2016).
000760159 650_0 $$aComputer simulation$$vCongresses.
000760159 650_0 $$aTemporal automata$$vCongresses.
000760159 650_0 $$aFormal methods (Computer science)$$vCongresses.
000760159 650_0 $$aSystem analysis$$vCongresses.
000760159 7001_ $$aFränzle, Martin,$$eeditor.
000760159 7001_ $$aMarkey, Nicolas,$$d1976-$$eeditor.
000760159 77608 $$iPrint version:$$z9783319448770$$z3319448773$$w(OCoLC)953708127
000760159 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000760159 830_0 $$aLecture notes in computer science ;$$v9884.
000760159 852__ $$bebk
000760159 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-44878-7$$zOnline Access$$91397441.1
000760159 909CO $$ooai:library.usi.edu:760159$$pGLOBAL_SET
000760159 980__ $$aEBOOK
000760159 980__ $$aBIB
000760159 982__ $$aEbook
000760159 983__ $$aOnline
000760159 994__ $$a92$$bISE