The power of reachability testing for timed automata

By Aceto L.   Bouyer P.   Burgueno A.   Larsen K.G.  

Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. : 411-475

Elsevier

Access to resources Recommend Favorite

Eliminating the storage tape in reachability constructions

By Ibarra O.H.   Dang Z.  

Theoretical Computer Science, Vol. 299, Iss. 1, 2003-04 ,pp. : 687-706

Elsevier

Access to resources Recommend Favorite

Power law-based local search in differential evolution

By Sharma Harish  

International Journal of Computational Intelligence Studies, Vol. 2, Iss. 2, 2013-07 ,pp. : 90-112

Inderscience Publishers

Access to resources Recommend Favorite

A work-efficient distributed algorithm for reachability analysis

By Grumberg Orna   Heyman Tamir   Schuster Assaf  

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 157-175

Springer Publishing Company

Access to resources Recommend Favorite

A Sufficient Condition for Reachability in a General Petri Net

By Ramachandran Parthasarathy   Kamath Manjunath  

Discrete Event Dynamic Systems, Vol. 14, Iss. 3, 2004-07 ,pp. : 251-266

Springer Publishing Company

Access to resources Recommend Favorite