%0 Journal Article %1 journals/scp/MeryR22 %A Méry, Dominique %A Raschke, Alexander %D 2022 %J Sci. Comput. Program. %K dblp %P 102780 %T Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020. %U http://dblp.uni-trier.de/db/journals/scp/scp216.html#MeryR22 %V 216

@article{journals/scp/MeryR22, added-at = {2022-03-18T00:00:00.000+0100}, author = {Méry, Dominique and Raschke, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/2374e8152a95c3b2b404fa07bfde4a014/dblp}, ee = {https://doi.org/10.1016/j.scico.2022.102780}, interhash = {60fb96d06fcb71f32d33b734c34d05c7}, intrahash = {374e8152a95c3b2b404fa07bfde4a014}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102780, timestamp = {2024-04-09T05:28:08.000+0200}, title = {Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp216.html#MeryR22}, volume = 216, year = 2022 }