Home > Research > Publications & Outputs > Corecursion for Compositional Verification

Research

Associated organisational unit

View graph of relations

Corecursion for Compositional Verification

Research output: Other contribution

Published

Standard

Corecursion for Compositional Verification. / Caminati, Marco B; Kerber, Manfred.
2016.

Research output: Other contribution

Harvard

Caminati, MB & Kerber, M 2016, Corecursion for Compositional Verification..

APA

Caminati, M. B., & Kerber, M. (2016, Jan 14). Corecursion for Compositional Verification.

Vancouver

Caminati MB, Kerber M. Corecursion for Compositional Verification. 2016.

Author

Caminati, Marco B ; Kerber, Manfred. / Corecursion for Compositional Verification. 2016.

Bibtex

@misc{3807b86f0e5b4fb9a79c5a4d95b08ad3,
title = "Corecursion for Compositional Verification",
author = "Caminati, {Marco B} and Manfred Kerber",
year = "2016",
month = jan,
day = "14",
language = "English",
type = "Other",

}

RIS

TY - GEN

T1 - Corecursion for Compositional Verification

AU - Caminati, Marco B

AU - Kerber, Manfred

PY - 2016/1/14

Y1 - 2016/1/14

M3 - Other contribution

ER -