MPG.eBooks - Search Results - tableau algorithms

Search alternatives:
tableau algorithms » tableau algorithm , tables algorithms

Cover Image

1

Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK

Published 1990

Springer London

Table of Contents: “...A General Tableau Technique for Verifying Temporal Properties of Concurrent Programs (Extended...”