LTL is closed under topological closure
Metadata only
Date
2014-03-31Type
- Journal Article
Publication status
publishedExternal links
Journal / series
Information Processing LettersVolume
Pages / Article No.
Publisher
ElsevierSubject
Specification languages; LTL; Safety; Liveness; Büchi automataOrganisational unit
03634 - Basin, David / Basin, David
Notes
Received 2 May 2013, Received in revised form 28 February 2014, Accepted 1 March 2014, Available online 13 March 2014.More
Show all metadata