A language-based approach to modelling and analysis of Twitter interactions (Q511939)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A language-based approach to modelling and analysis of Twitter interactions |
scientific article |
Statements
A language-based approach to modelling and analysis of Twitter interactions (English)
0 references
22 February 2017
0 references
twitter interactions and communications
0 references
formal semantics
0 references
verification
0 references
model checking
0 references
