Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, proceedings /
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; |
Published: |
Springer,
|
Publisher Address: | Cham : |
Publication Dates: | [2022] |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science,
13255 |
Subjects: | |
Carrier Form: | viii, 151 pages : illustrations, forms ; 24 cm. |
Bibliography: | Includes bibliographical references and author index. |
ISBN: |
9783031150760 3031150767 |
CLC: | TP311.5-532 |
Call Number: | TP311.5-532/I617-1/2022 |