Automatic verification of sequential infinite state processes [electronic resource]
User Rating: Be the first one!
Author: Burkart, Olaf, SpringerLink (Online service)
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Computer software, Software engineering
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540639829, 9783540639824
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 71.29 MB
PDF Size: 2.58 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 203
Views: 253
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 3 540 69678 4 archive t...torrent
Last Modified: 2022-03-09 08:52:05
Download
Size: 6.89 KB
Description
Automatic Verification of Sequential Infinite-State Processes
Author: Olaf Burkart
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-63982-4
DOI: 10.1007/3-540-69678-4
Table of Contents:
Includes bibliographical references (p. [155]-159) and index
Author: Olaf Burkart
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-63982-4
DOI: 10.1007/3-540-69678-4
Table of Contents:
- Introduction
- Background
- Pushdown Processes
- Model Checking
- Equivalence Checking
- Summary and Perspectives
Includes bibliographical references (p. [155]-159) and index
You May Also Like
We will be happy to hear your thoughts