Undecidability of the trace coding problem and some decidable cases

By Kunc M.  

Theoretical Computer Science, Vol. 310, Iss. 1, 2004-01 ,pp. : 393-456

Elsevier

Access to resources Recommend Favorite

A Survey of Reachability and Controllability for Positive Linear Systems

By Caccetta L.  

Annals of Operations Research, Vol. 98, Iss. 1-4, 2000-12 ,pp. : 101-122

Springer Publishing Company

Access to resources Recommend Favorite

An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems

By Labroue A.   Schnoebelen P.  

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 1, 2004-01 ,pp. : 1-20

Elsevier

Access to resources Recommend Favorite

Reachability Analysis over Term Rewriting Systems

By Feuillade Guillaume   Genet Thomas   Viet Triem Tong Valérie  

Journal of Automated Reasoning, Vol. 33, Iss. 3-4, 2004-10 ,pp. : 341-383

Springer Publishing Company

Access to resources Recommend Favorite

Reachability problems for sequential dynamical systems with threshold functions

By Barrett C.   Hunt III H.B.   Marathe M.V.   Ravi S.S.   Rosenkrantz D.J.   Stearns R.E.  

Theoretical Computer Science, Vol. 295, Iss. 1, 2003-02 ,pp. : 41-64

Elsevier

Access to resources Recommend Favorite