%0 Conference Paper %1 conf/cade/0001CV19 %A Schulz, Stephan %A Cruanes, Simon %A Vukmirovic, Petar %B CADE %D 2019 %E Fontaine, Pascal %I Springer %K dblp %P 495-507 %T Faster, Higher, Stronger: E 2.3. %U http://dblp.uni-trier.de/db/conf/cade/cade2019.html#0001CV19 %V 11716 %@ 978-3-030-29436-6

@inproceedings{conf/cade/0001CV19, added-at = {2019-10-19T00:00:00.000+0200}, author = {Schulz, Stephan and Cruanes, Simon and Vukmirovic, Petar}, biburl = {https://www.bibsonomy.org/bibtex/22bdc1b8668a707b3802d31396ffba9c6/dblp}, booktitle = {CADE}, crossref = {conf/cade/2019}, editor = {Fontaine, Pascal}, ee = {https://doi.org/10.1007/978-3-030-29436-6_29}, interhash = {ff4e633299985a6a2cae79e7e3bc3e1e}, intrahash = {2bdc1b8668a707b3802d31396ffba9c6}, isbn = {978-3-030-29436-6}, keywords = {dblp}, pages = {495-507}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:46:29.000+0200}, title = {Faster, Higher, Stronger: E 2.3.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2019.html#0001CV19}, volume = 11716, year = 2019 }