Verlag Springer BerlinPierre Wolper ×Springer US × Verification Algorithms for Concurrent and Reactive Systems Pierre WolperSpringer USHardcover