Expressiveness of Hybrid Temporal Logic on Data Words (Q113318196)
Jump to navigation
Jump to search
scientific article published on 31 October 2011
Language | Label | Description | Also known as |
---|---|---|---|
default for all languages | No label defined |
||
English | Expressiveness of Hybrid Temporal Logic on Data Words |
scientific article published on 31 October 2011 |
Statements
Expressiveness of Hybrid Temporal Logic on Data Words (English)
Ahmet Kara
Thomas Schwentick
31 October 2011