An introduction to CORA 2015

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Matthias Althoff

Journal title: ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, EPiC Series in Computing

Journal number: vol. 34

Journal publisher: EasyChair

Published year: 2015

Published pages: 120-151