Author:Shuling Wang
Keyphrasesbenchmark2, concurrency, differential dynamic logic, hybrid games, Hybrid Hoare Logic, hybrid systems2, logic, nonlinear continuous systems, ownership transfer, theorem proving2, verification. |
![]() | |||||||
| |||||||
Copyright © 2012-2022 easychair.org. All rights reserved. |