Modular Verification of Finite Blocking in Non-terminating Programs

Pontus Boström, Peter Müller

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Originalspråk	Odefinierat/okänt
Förlag	ETH-Zürich
DOI	https://doi.org/10.3929/ethz-a-010341095
Status	Publicerad - 2014
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Åtkomst av dokument

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Ansvarig forskare), Sere, K. (Ansvarig forskare), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI) & Wiik, J. (CoI)
01/06/09 → 30/09/14
Projekt: Företag/Business Finland