Termination Analysis for Active Rule Set Based on Triggering Path

Autor:	Ye Wu, Qiu-Yun Wu, Wei Xiong, Zhen Zhang
Rok vydání:	2012
Předmět:	Set (abstract data type) Computer Networks and Communications Hardware and Architecture Termination analysis Computer science Path (graph theory) Topology Computer Graphics and Computer-Aided Design Software
Zdroj:	Chinese Journal of Computers. 35:65-75
ISSN:	0254-4164
DOI:	10.3724/sp.j.1016.2012.00065
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f94bcc5558d2e9a7dfb6cce3a5758af7 https://doi.org/10.3724/sp.j.1016.2012.00065 Zobrazit plný text záznamu