Verifying Temporal Properties of Reactive Systems by Transformation
You are here
| Title | Verifying Temporal Properties of Reactive Systems by Transformation |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Hamilton G |
| Journal | Electronic Proceedings of Theoretical Computer Science |
| Volume | 99 |
| Date Published | 2015 |
| URL | http://www.eptcs.org/ |
