Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Publications & Outputs
>
Corecursion for Compositional Verification
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Computing and Communications
LANCASTER UNIVERSITY LEIPZIG
Associated organisational unit
Security Lancaster
View graph of relations
Corecursion for Compositional Verification
Research output
:
Other contribution
Published
Overview
Cite this
Marco B Caminati
Manfred Kerber
Close
More...
Publication date
14/01/2016
<mark>Original language</mark>
English