"Verifying Concurrent Processes Using Temporal Logic" von B. T. Hailpern ist ein akademisches Buch, das sich auf die Anwendung der zeitlichen Logik zur Überprüfung gleichzeitiger Prozesse in der Informatik konzentriert. Es bietet eine...