Metadata only
Date
2014-12Type
- Journal Article
Publication status
publishedExternal links
Journal / series
Information Processing LettersVolume
Pages / Article No.
Publisher
ElsevierSubject
Formal methods; Real-time systems; Temporal logic; Safety and liveness; Verification; Computational complexityOrganisational unit
03634 - Basin, David / Basin, David
Notes
Received 30 October 2013, Received 1 April 2014, Accepted 10 June 2014, Available online 13 June 2014.More
Show all metadata