Abstraction Refinement For Large Scale Model Checking

By Wang, Fabio., Chao, Fabio Somenzi, Gary D. Hachtel, Chao Wang, Gary D., Hachtel, Somenzi

Abstraction Refinement for large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital systems. Considering both the size of today's digital sys...

Chinese Kinship

By Chao, Paul Chao

First published in 1983. Routledge is an imprint of Taylor & Francis, an informa company. Social Science,Anthropology,General,Ethnic Studies,Regional Studies

The Next Generation Of Electric Power Unit Commitment Models

By Eds, O'Neill, Chao, Richard P, HOBBS, Michael H., Rothkopf, Benjamin F., Hung-Po

Optical Pattern Recognition Vii

By D. P. Casasent, Casasent, Chao

Introduction To Statistics: Study Guide

By Johnstone, Robert H., Chao, Lincoln

On Ellipsis

By Chao, Wynn Chao

Eco Exhaust Resources Den

By Chao, Hung-Po Chao

Hung-po Chao. Originally Presented As The Author's Thesis, Stanford, 1978. Includes Bibliographies And Index.

Thermodynamics Of Fluids. An Introduction To Equilibrium Theory.

By Robert Albert Greenkorn, ROBERT-A, Kwang-Chu Chao, Chao, K. C. Chao, K. C. / Greenkorn

xi, 553p. ; 24cm

Construction Industry In Communist China

By Gang Zhao, Zhao, Gang, Kang, Chao

A Guide To Bamboo Cultivated In Britain

By C.S. Chao, Chao