1.
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer S...
by Esparza, Javier, Heljanko, ...
ISBN: 9783642096051
List Price: $89.95
3.
Comparative Analysis of Stream Processing Systems
by Salem, Farouk, Heljanko, Ke...
ISBN: 9783330804197