%0 Conference Paper %1 conf/icfem/GoriacLR10 %A Goriac, Eugen-Ioan %A Lucanu, Dorel %A Rosu, Grigore %B ICFEM %D 2010 %E Dong, Jin Song %E Zhu, Huibiao %I Springer %K dblp %P 220-236 %T Automating Coinduction with Case Analysis. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2010.html#GoriacLR10 %V 6447 %@ 978-3-642-16900-7

@inproceedings{conf/icfem/GoriacLR10, added-at = {2017-05-21T00:00:00.000+0200}, author = {Goriac, Eugen-Ioan and Lucanu, Dorel and Rosu, Grigore}, biburl = {https://www.bibsonomy.org/bibtex/26aec52652076fd0ea9b03c2cb2f8324a/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2010}, editor = {Dong, Jin Song and Zhu, Huibiao}, ee = {https://doi.org/10.1007/978-3-642-16901-4_16}, interhash = {83e31a0400ea6e2a699bfff428354c75}, intrahash = {6aec52652076fd0ea9b03c2cb2f8324a}, isbn = {978-3-642-16900-7}, keywords = {dblp}, pages = {220-236}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:04:30.000+0200}, title = {Automating Coinduction with Case Analysis.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2010.html#GoriacLR10}, volume = 6447, year = 2010 }