Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday /
This 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 syst...
| Other Authors: | , , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2021
|
| Series: | LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 13030 |
| Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
| Call Number: |
INTERNET RESOURCE |
|---|