Home ›
Entities
› academia
› An approach based on knowledge exploration for state space management in checking reachability of complex software systems
An approach based on knowledge exploration for state space management in checking reachability of complex software systems
Research article (Soft Computing, 2019) · cited 12× · AI/ML
An approach based on knowledge exploration for state space management in checking reachability of complex software systems
Summary
An approach based on knowledge exploration for state space management in checking reachability of complex software systems is a scholarly article[1].
Key Facts
An approach based on knowledge exploration for state space management in checking reachability of complex software systems'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). An approach based on knowledge exploration for state space management in checking reachability of complex software systems. Retrieved May 24, 2026, from https://4ort.xyz/entity/an-approach-based-on-knowledge-exploration-for-state-space-management-in-checking-reachability-of-complex-software-syste
MLA“An approach based on knowledge exploration for state space management in checking reachability of complex software systems.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/an-approach-based-on-knowledge-exploration-for-state-space-management-in-checking-reachability-of-complex-software-syste.
BibTeX@misc{4ortxyz_an-approach-based-on-knowledge-exploration-for-state-space-management-in-checking-reachability-of-complex-software-syste_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{An approach based on knowledge exploration for state space management in checking reachability of complex software systems}}, year = {2026}, url = {https://4ort.xyz/entity/an-approach-based-on-knowledge-exploration-for-state-space-management-in-checking-reachability-of-complex-software-syste}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): An approach based on knowledge exploration for state space management in checking reachability of complex software systems — https://4ort.xyz/entity/an-approach-based-on-knowledge-exploration-for-state-space-management-in-checking-reachability-of-complex-software-syste (retrieved 2026-05-24)
