%0 Journal Article
%A T. Baar
%A H. Schulte
%T Notes on recent achievements in proving stability using KeYmaeraX
%J Modelirovanie i analiz informacionnyh sistem
%D 2021
%P 326-336
%V 28
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2021_28_4_a1/
%G en
%F MAIS_2021_28_4_a1