Proceedings

Front Cover
IEEE Computer Society Press, 1998 - Computers - 538 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

55 a m
27
05 p m
44
On Model Checking for NonDeterministic InfiniteState Systems
70
Copyright

33 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information