%0 Conference Paper %1 conf/birthday/SchmidtNS12 %A Schmidt, Erik Meineche %A Nielsen, Mogens %A Skyum, Sven %B Logic and Program Semantics %D 2012 %E Constable, Robert L. %E Silva, Alexandra %I Springer %K dblp %P 341 %T To Dexter - A Tribute from Aarhus. %U http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#SchmidtNS12 %V 7230 %@ 978-3-642-29484-6

@inproceedings{conf/birthday/SchmidtNS12, added-at = {2017-05-23T00:00:00.000+0200}, author = {Schmidt, Erik Meineche and Nielsen, Mogens and Skyum, Sven}, biburl = {https://www.bibsonomy.org/bibtex/2d692d6baff461f7d3631999372167238/dblp}, booktitle = {Logic and Program Semantics}, crossref = {conf/birthday/2012kozen}, editor = {Constable, Robert L. and Silva, Alexandra}, ee = {https://doi.org/10.1007/978-3-642-29485-3_30}, interhash = {6feebed52b5f336648fd966fcc0bd10b}, intrahash = {d692d6baff461f7d3631999372167238}, isbn = {978-3-642-29484-6}, keywords = {dblp}, pages = 341, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:30.000+0200}, title = {To Dexter - A Tribute from Aarhus.}, url = {http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#SchmidtNS12}, volume = 7230, year = 2012 }