ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Ontario: proceedings

Front Cover

From inside the book

What people are saying - Write a review

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

Contents

Maximum and Minimum Matchings for SeriesParallel Networks
14
The MinMax Case
30
Linear Local and Global Model Checking Algorithms for a Kernal Temporal Logic Language
46
Copyright

7 other sections not shown

Common terms and phrases

Bibliographic information