Home ›
Entities
› academia
› On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language
Research article (IEEE Transactions on Software Engineering, 2018) · cited 35× · AI/ML
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language
Summary
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language is a scholarly article[1].
Key Facts
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language's instance of is recorded as scholarly article[2].
References
Programmatic citations — every numbered marker resolves to a verifiable graph row below.
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language. Retrieved May 24, 2026, from https://4ort.xyz/entity/on-the-understandability-of-temporal-properties-formalized-in-linear-temporal-logic-property-specification-patterns-and-
MLA“On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/on-the-understandability-of-temporal-properties-formalized-in-linear-temporal-logic-property-specification-patterns-and-.
BibTeX@misc{4ortxyz_on-the-understandability-of-temporal-properties-formalized-in-linear-temporal-logic-property-specification-patterns-and-_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language}}, year = {2026}, url = {https://4ort.xyz/entity/on-the-understandability-of-temporal-properties-formalized-in-linear-temporal-logic-property-specification-patterns-and-}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language — https://4ort.xyz/entity/on-the-understandability-of-temporal-properties-formalized-in-linear-temporal-logic-property-specification-patterns-and- (retrieved 2026-05-24)
