Notes on Recent Achievements in Proving Stability using KeYmaeraX. (In Russian)

Artikel › Journalartikel › 2021

Zitation

Baar, Thomas; Schulte, Horst: Notes on Recent Achievements in Proving Stability using KeYmaeraX. (In Russian). In: Modeling and Analysis of Information Systems 28(4). (2021), S. 326-336.

ISSN

2313-5417

Link

https://doi.org/10.18255/1818-1015-2021-4-326-336

Zitieren

BibTeX / RIS