Verifying Temporal Properties of Reactive Systems by Transformation
You are here
| Title | Verifying Temporal Properties of Reactive Systems by Transformation |
| Publication Type | Workshop Paper |
| Year of Publication | 2015 |
| Authors | Hamilton G |
| Title | Verifying Temporal Properties of Reactive Systems by Transformation |
| Publication Type | Workshop Paper |
| Year of Publication | 2015 |
| Authors | Hamilton G |
Copyright 2024 Lero
