Summary
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: A. Abate, H. Blom, N. Cauchi, J. Delicaris, A. Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, C. Pilch, A. Remke, S. Schupp, F. Shmarov, S. Soudjani, A. P. Vinod, B. Wooding, Majid Zamani, P. Zuliani
Journal title: 7th International Workshop on Applied Verification of Continuous and Hybrid Systems
Journal publisher: Elsevier
Published year: 2021
Search
Organisations
- Not specified