%0 Conference Paper %1 conf/cade/KaliszykSUV15 %A Kaliszyk, Cezary %A Schulz, Stephan %A Urban, Josef %A Vyskocil, Jirí %B CADE %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer %K dblp %P 389-398 %T System Description: E.T. 0.1. %U http://dblp.uni-trier.de/db/conf/cade/cade2015.html#KaliszykSUV15 %V 9195 %@ 978-3-319-21400-9

@inproceedings{conf/cade/KaliszykSUV15, added-at = {2022-03-16T00:00:00.000+0100}, author = {Kaliszyk, Cezary and Schulz, Stephan and Urban, Josef and Vyskocil, Jirí}, biburl = {https://www.bibsonomy.org/bibtex/2cd12a6b2b0fbd9e1fcc9cf1254fe4875/dblp}, booktitle = {CADE}, crossref = {conf/cade/2015}, editor = {Felty, Amy P. and Middeldorp, Aart}, ee = {https://www.wikidata.org/entity/Q108482217}, interhash = {05314b5f03db8a037cc6fb6a880cdeb3}, intrahash = {cd12a6b2b0fbd9e1fcc9cf1254fe4875}, isbn = {978-3-319-21400-9}, keywords = {dblp}, pages = {389-398}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:08:55.000+0200}, title = {System Description: E.T. 0.1.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2015.html#KaliszykSUV15}, volume = 9195, year = 2015 }