Esparza, Javier
Unfoldings
1. Introduction
Javier Esparza, Dr. Keijo Heljanko
2. Transition Systems and Products
Javier Esparza, Dr. Keijo Heljanko
3. Unfolding Products
Javier Esparza, Dr. Keijo Heljanko
4. Search Procedures for the Executability Problem
Javier Esparza, Dr. Keijo Heljanko
5. More on the Executability Problem
Javier Esparza, Dr. Keijo Heljanko
6. Search Procedures for the Repeated Executability Problem
Javier Esparza, Dr. Keijo Heljanko
7. Search Procedures for the Livelock Problem
Javier Esparza, Dr. Keijo Heljanko
8. Model Checking LTL
Javier Esparza, Dr. Keijo Heljanko
9. Summary, Applications, Extensions, and Tools
Javier Esparza, Dr. Keijo Heljanko
DRM-restrictions
Printing: not available
Clipboard copying: not available
Keywords: COMPUTERS / Computer Science COM014000
- Author(s)
- Esparza, Javier
- Heljanko, Keijo
- Publisher
- Springer
- Publication year
- 2008
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783540774266
