| 000 | 04615cam a2200721 i 4500 | ||
|---|---|---|---|
| 001 | on1287997005 | ||
| 003 | OCoLC | ||
| 005 | 20250707094226.0 | ||
| 006 | m o d | ||
| 007 | cr un|---aucuu | ||
| 008 | 211209s2021 sz a o 011 0 eng d | ||
| 040 |
_aGW5XE _beng _erda _epn _cGW5XE _dYDX _dOCLCQ _dOCLCF _dDKU _dEBLCP _dOCLCO _dDCT _dOCLCO _dOCLCQ _dOCL _dOCLCQ _dAUD _dOCLCO _dOCLCL _dOCLCQ _dOCLCO |
||
| 019 |
_a1287892426 _a1287924496 _a1292518230 _a1294351609 |
||
| 020 |
_a9783030913847 _q(electronic bk.) |
||
| 020 |
_a3030913848 _q(electronic bk.) |
||
| 020 |
_z9783030913830 _q(print) |
||
| 020 | _z303091383X | ||
| 024 | 7 |
_a10.1007/978-3-030-91384-7 _2doi |
|
| 029 | 1 |
_aAU@ _b000070394852 |
|
| 029 | 1 |
_aAU@ _b000070439367 |
|
| 035 |
_a(OCoLC)1287997005 _z(OCoLC)1287892426 _z(OCoLC)1287924496 _z(OCoLC)1292518230 _z(OCoLC)1294351609 |
||
| 037 | _bSpringer | ||
| 050 | 4 | _aQA76.9.F67 | |
| 072 | 7 |
_aUM _2bicssc |
|
| 072 | 7 |
_aCOM051000 _2bisacsh |
|
| 072 | 7 |
_aUM _2thema |
|
| 072 | 7 |
_aUYF _2thema |
|
| 082 | 0 | 4 |
_a004.01/51 _223 |
| 049 | _aMAIN | ||
| 245 | 0 | 0 |
_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.). |
| 264 | 1 |
_aCham, Switzerland : _bSpringer, _c2021. |
|
| 300 |
_a1 online resource (viii, 219 pages) : _billustrations (some color) |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 | _atext file | ||
| 347 | _bPDF | ||
| 490 | 1 |
_aLecture notes in computer science ; _v13030 |
|
| 490 | 1 | _aLNCS sublibrary, SL 1, Theoretical computer science and general issues | |
| 505 | 0 | _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. | |
| 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. | ||
| 500 | _aIncludes author index. | ||
| 588 | 0 | _aOnline resource; title from PDF title page (SpringerLink, viewed December 9, 2021). | |
| 650 | 0 |
_aFormal methods (Computer science) _915635 |
|
| 650 | 0 |
_aComputer software _xVerification. _91930 |
|
| 650 | 6 |
_aMéthodes formelles (Informatique) _925785 |
|
| 650 | 6 |
_aLogiciels _xVérification. _920690 |
|
| 650 | 7 |
_aComputer software _xVerification _2fast _91930 |
|
| 650 | 7 |
_aFormal methods (Computer science) _2fast _915635 |
|
| 655 | 7 |
_aFestschriften _2fast _9109631 |
|
| 655 | 7 |
_aFestschriften. _2lcgft _9109631 |
|
| 700 | 1 |
_aOlderog, E.-R., _eeditor. _1https://id.oclc.org/worldcat/entity/E39PBJtWYxFxGYyCDXxJ8vbGHC _915075 |
|
| 700 | 1 |
_aSteffen, Bernhard, _eeditor _1https://orcid.org/0000-0001-9619-1558 _915074 |
|
| 700 | 1 |
_aYi, Wang, _eeditor. _1https://id.oclc.org/worldcat/entity/E39PCjvMjrvRXrBDmjYkv8wDdP _924689 |
|
| 700 | 1 |
_aJonsson, Bengt, _d1957- _ehonouree. _1https://id.oclc.org/worldcat/entity/E39PCjHwt7dgBhWhJfVhCTCprq _941916 |
|
| 776 | 0 | 8 |
_iPrint version: _tModel checking, synthesis, and learning. _dCham, Switzerland : Springer, 2021 _z303091383X _z9783030913830 _w(OCoLC)1277277204 |
| 830 | 0 |
_aLecture notes in computer science ; _v13030. |
|
| 830 | 0 |
_aLNCS sublibrary. _nSL 1, _pTheoretical computer science and general issues. _920736 |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/978-3-030-91384-7 |
| 938 |
_aProQuest Ebook Central _bEBLB _nEBL6857504 |
||
| 938 |
_aYBP Library Services _bYANK _n302625655 |
||
| 994 |
_a92 _bATIST |
||
| 999 |
_c649074 _d649074 |
||