TitleVerifying Temporal Properties of Reactive Systems by Transformation
Publication TypeJournal Article
Year of Publication2015
AuthorsHamilton G
JournalElectronic Proceedings of Theoretical Computer Science
Volume99
Date Published2015
URLhttp://www.eptcs.org/