ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
 
Editor Herausgeber_in
 
Publisher Herausgeber
EasyChair
 
Place of publishing Erscheinungsort
Manchester
 
Volume Band
61
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gruenbacher, Sophie ; Cyranka, Jacek ; Islam, Md Ariful ; Tschaikowski, Max ; Smolka, Scott ; Grosu, Radu Under the Hood of a Stand-Alone Lagrangian Reachability ToolBeitrag in Tagungsband Inproceedings2019