This dissertation examines the Chinese migration to Inner Mongolia, especially the Hetao/Ordos region, from the eighteenth to the early twentieth century, and explores how the Mongol periphery was transformed by processes of market penetration and state expansion, and how domest…
Tools and algorithms for the construction and analysis of systems: 7th International Conference, TACAS 2001, held as…
by Yi, Wang, Margaria, Tiziana, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Genua, Joint European Conferences on Theory and Practice of Software, Genua
fromLecture Notes in Computer Science
Tools and algorithms for the construction and analysis of systems: 7th International Conference, TACAS 2001, held as…
by Yi, Wang, Margaria, Tiziana, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Genua, Joint European Conferences on Theory and Practice of Software, Genua
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected fr…