Realtime subshifts

By Kurka P.   Maass A.  

Theoretical Computer Science, Vol. 237, Iss. 1, 2000-04 ,pp. : 307-325

Elsevier

Access to resources Recommend Favorite

Z2SAL: a translation-based model checker for Z

By Derrick John  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 43-71

Springer Publishing Company

Access to resources Recommend Favorite

A combinatorial study of the growing altitude elementary paths of the plane lattice Z2

By Dachraoui T   Cherruault Y   Reiss C  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 27, Iss. 5, 1998-05 ,pp. : 553-562

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Two Fast Euclidean Distance Transformations in Z2 Based on Sufficient Propagation

By Eggers H.  

Computer Vision and Image Understanding, Vol. 69, Iss. 1, 1998-01 ,pp. : 106-116

Academic Press

Access to resources Recommend Favorite

How Strong Is Strong Regularity?

By Rohn Jiří  

Reliable Computing, Vol. 11, Iss. 6, 2005-12 ,pp. : 491-493

Springer Publishing Company

Access to resources Recommend Favorite