%0 Conference Paper %1 journals/entcs/KotK05 %A Kot, Lucja %A Kozen, Dexter %B Bytecode@ETAPS %D 2005 %E Spoto, Fausto %I Elsevier %K dblp %N 1 %P 221-236 %T Kleene Algebra and Bytecode Verification. %U http://dblp.uni-trier.de/db/conf/bytecode/bytecode2005.html#KotK05 %V 141

@inproceedings{journals/entcs/KotK05, added-at = {2022-12-13T00:00:00.000+0100}, author = {Kot, Lucja and Kozen, Dexter}, biburl = {https://www.bibsonomy.org/bibtex/2516a4f5b619533f448a37d815cf96243/dblp}, booktitle = {Bytecode@ETAPS}, crossref = {conf/bytecode/2005}, editor = {Spoto, Fausto}, ee = {https://doi.org/10.1016/j.entcs.2005.02.028}, interhash = {708f9bbae88a3ea6f31167c4975e725b}, intrahash = {516a4f5b619533f448a37d815cf96243}, keywords = {dblp}, number = 1, pages = {221-236}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T18:18:07.000+0200}, title = {Kleene Algebra and Bytecode Verification.}, url = {http://dblp.uni-trier.de/db/conf/bytecode/bytecode2005.html#KotK05}, volume = 141, year = 2005 }