Reihe Lecture Notes in Computer ScienceB. T. Hailpern × Verifying Concurrent Processes Using Temporal Logic B. T. HailpernSpringer BerlineBook2005 Verifying Concurrent Processes Using Temporal Logic B. T. HailpernSpringer BerlinSoftcover1982