Modular Verification of Finite Blocking in Non-terminating Programs

Pontus Boström, Peter Müller

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., Sere, K., Boström, P., Alexeev, P. S., Ostroumov, S. & Wiik, J.
01/06/09 → 30/09/14
Project: Industry/Business Finland