Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 11, Issue 6, pp. 962-964: Abstract.

Model Checking. E. Clarke O. Grumberg D. A. Peled

Vladimir Zakharov

Moscow State University, Russia

  Full-Text PDF  (28 KB)


[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2001.