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