Modular Verification of Finite Blocking in Non-terminating Programs

Research output: Book/Journal/Report › Commissioned report › Professional

Original language	Undefined/Unknown
Publisher	ETH-Zürich
DOIs	https://doi.org/10.3929/ethz-a-010341095
Publication status	Published - 2014
MoE publication type	D4 Published development or research report or study

Access to Document

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Alexeev, P. S. (Co-Investigator), Ostroumov, S. (Co-Investigator) & Wiik, J. (Co-Investigator)
01/06/09 → 30/09/14
Project: Industry/Business Finland