Like Score+155
| Automatic verification of sequential infinite-state processes [electronic resource] | |
|---|---|
 |
|
| Original Title | Automatic verification of sequential infinite-state processes [electronic resource] |
| Author | Burkart, Olaf, SpringerLink (Online service) |
| Publication date |
1997 |
| Topics | Computer software, Software engineering |
| Publisher | Berlin , New York : Springer |
| Collection | folkscanomy_miscellaneous, folkscanomy, additional_collections |
| Language | English |
| Book Type | EBook |
| Material Type | Book |
| File Type | |
| Downloadable | Yes |
| Support | Mobile, Desktop, Tablet |
| Scan Quality: | Best No watermark |
| PDF Quality: | Good |
| Availability | Yes |
| Price | 0.00 |
| Submitted By | Sketch the Cow |
| Submit Date | |
| Automatic Verification of Sequential Infinite-State ProcessesAuthor: Olaf Burkart Published by Springer Berlin Heidelberg ISBN: 978-3-540-63982-4 DOI: 10.1007/3-540-69678-4Table of Contents:Introduction Background Pushdown Processes Model Checking Equivalence Checking Summary and PerspectivesIncludes bibliographical references (p. [155]-159) and index |
|
