MPG.eBooks - Search Results - "philosophers"

Search alternatives:
"philosophers" » "philosophy", "philosophie"

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... formulas -- Hierarchical compression for model-checking CSP or how to check 1020 dining philosophers...”