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