# AN APPROACH TO INCREASE THE EFFECTIVENESS OF TLC VERIFICATION WITH RESPECT TO THE CONCURRENT STRUCTURE OF TLA+ SPECIFICATION

> Research article (International Journal of Computer Systems & Software Engineering, 2018) · cited 17× · AI/ML

**Wikidata**: [openalex:W2791120682](https://www.wikidata.org/wiki/openalex:W2791120682)  
**Source**: https://4ort.xyz/entity/an-approach-to-increase-the-effectiveness-of-tlc-verification-with-respect-to-the-concurrent-structure-of-tla-specificat