001441249 000__ 04042cam\a2200649\i\4500
001441249 001__ 1441249
001441249 003__ OCoLC
001441249 005__ 20230309004728.0
001441249 006__ m\\\\\o\\d\\\\\\\\
001441249 007__ cr\un\nnnunnun
001441249 008__ 211209s2021\\\\sz\a\\\\o\\\\\011\0\eng\d
001441249 019__ $$a1287892426$$a1287924496$$a1292518230$$a1294351609
001441249 020__ $$a9783030913847$$q(electronic bk.)
001441249 020__ $$a3030913848$$q(electronic bk.)
001441249 020__ $$z9783030913830$$q(print)
001441249 020__ $$z303091383X
001441249 0247_ $$a10.1007/978-3-030-91384-7$$2doi
001441249 035__ $$aSP(OCoLC)1287997005
001441249 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCQ$$dOCLCF$$dDKU$$dEBLCP$$dOCLCO$$dDCT$$dOCLCO$$dOCLCQ$$dOCL$$dOCLCQ
001441249 049__ $$aISEA
001441249 050_4 $$aQA76.9.F67
001441249 08204 $$a004.01/51$$223
001441249 24500 $$aModel checking, synthesis, and learning :$$bessays dedicated to Bengt Jonsson on the occasion of his 60th birthday /$$cErnst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (eds.).
001441249 264_1 $$aCham, Switzerland :$$bSpringer,$$c2021.
001441249 300__ $$a1 online resource (viii, 219 pages) :$$billustrations (some color)
001441249 336__ $$atext$$btxt$$2rdacontent
001441249 337__ $$acomputer$$bc$$2rdamedia
001441249 338__ $$aonline resource$$bcr$$2rdacarrier
001441249 347__ $$atext file
001441249 347__ $$bPDF
001441249 4901_ $$aLecture notes in computer science ;$$v13030
001441249 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001441249 500__ $$aIncludes author index.
001441249 5050_ $$aModel Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms.
001441249 506__ $$aAccess limited to authorized users.
001441249 520__ $$aThis Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.
001441249 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed December 9, 2021).
001441249 650_0 $$aFormal methods (Computer science)
001441249 650_0 $$aComputer software$$xVerification.
001441249 650_6 $$aMéthodes formelles (Informatique)
001441249 650_6 $$aLogiciels$$xVérification.
001441249 655_7 $$aFestschriften.$$2fast$$0(OCoLC)fst01941036
001441249 655_7 $$aFestschriften.$$2lcgft
001441249 655_0 $$aElectronic books.
001441249 7001_ $$aOlderog, E.-R.,$$eeditor.
001441249 7001_ $$aSteffen, Bernhard,$$eeditor$$1https://orcid.org/0000-0001-9619-1558
001441249 7001_ $$aYi, Wang,$$eeditor.
001441249 7001_ $$aJonsson, Bengt,$$d1957-$$ehonouree.
001441249 77608 $$iPrint version:$$tModel checking, synthesis, and learning.$$dCham, Switzerland : Springer, 2021$$z303091383X$$z9783030913830$$w(OCoLC)1277277204
001441249 830_0 $$aLecture notes in computer science ;$$v13030.
001441249 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001441249 852__ $$bebk
001441249 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-91384-7$$zOnline Access$$91397441.1
001441249 909CO $$ooai:library.usi.edu:1441249$$pGLOBAL_SET
001441249 980__ $$aBIB
001441249 980__ $$aEBOOK
001441249 982__ $$aEbook
001441249 983__ $$aOnline
001441249 994__ $$a92$$bISE