Keijo Heljanko

3 books • 1 series

May 27, 2019
Cover of Comparative analysis of Stream Processing Systems

Comparative analysis of Stream Processing Systems

Jan 1, 2008
Cover of Unfoldings

Unfoldings (Monographs in Theoretical Computer Science: An Eatcs)

Jan 1, 2008
Cover of Unfoldings: A Partial-Order Approach to Model Checking

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science: An Eatcs)