Study of durability and lateral tape motion of magnetic tape data storage media under high-speed operating conditions using magnetic and edge probe methods

By Petrek Derek  

Microsystem Technologies, Vol. 14, Iss. 6, 2008-06 ,pp. : 841-853

Springer Publishing Company

Access to resources Recommend Favorite

Reachability and the power of local ordering

By Etessami K.   Immerman N.  

Theoretical Computer Science, Vol. 148, Iss. 2, 1995-09 ,pp. : 261-279

Elsevier

Access to resources Recommend Favorite

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

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