VSL 2014: VIENNA SUMMER OF LOGIC 2014

Hierarchical reasoning and quantifier elimination for the verification of parametric reactive and hybrid systems

Author: Viorica Sofronie-Stokkermans

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:Hierarchical reasoning and quantifier elimination for the verification of parametric reactive and hybrid systems
Authors:Viorica Sofronie-Stokkermans
Proceedings:PAS 2014 Proceedings
Editors: Dongming Wang, Tudor Jebelean and Wei Li
Keywords:
Abstract:
Pages:1
Talk:Jul 17 09:00
Paper:
Disclaimer | Powered by EasyChair Smart Program