%0 Conference Paper %1 conf/ismvl/Sedlar23 %A Sedlár, Igor %B ISMVL %D 2023 %I IEEE %K dblp %P 111-116 %T Kleene Algebra With Tests for Weighted Programs. %U http://dblp.uni-trier.de/db/conf/ismvl/ismvl2023.html#Sedlar23 %@ 978-1-6654-6416-1

@inproceedings{conf/ismvl/Sedlar23, added-at = {2023-06-28T00:00:00.000+0200}, author = {Sedlár, Igor}, biburl = {https://www.bibsonomy.org/bibtex/2e37a3a8a86c71965aac730e2d7a16698/dblp}, booktitle = {ISMVL}, crossref = {conf/ismvl/2023}, ee = {https://doi.org/10.1109/ISMVL57333.2023.00031}, interhash = {020a078a3db41482b545836947428dd5}, intrahash = {e37a3a8a86c71965aac730e2d7a16698}, isbn = {978-1-6654-6416-1}, keywords = {dblp}, pages = {111-116}, publisher = {IEEE}, timestamp = {2024-04-09T20:33:23.000+0200}, title = {Kleene Algebra With Tests for Weighted Programs.}, url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2023.html#Sedlar23}, year = 2023 }