"Book Review: Verifying Temporal Properties of Systems by Julian Charles ..."

Paul K. Harter Jr. (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics