Research output

An Introduction to the Verification of Hybrid Systems Using Ariadne

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Associated researcher

Associated organisations

View graph of relations

Details

Original languageUndefined/Unknown
Title of host publicationCoordination Control of Distributed Systems
Pages339-346
Number of pages8
Volume75
Publication statusPublished - 2015