%0 Conference Paper %1 conf/birthday/EngelhardtH10 %A Engelhardt, Kai %A Huuck, Ralf %B Concurrency, Compositionality, and Correctness %D 2010 %E Dams, Dennis %E Hannemann, Ulrich %E Steffen, Martin %I Springer %K dblp %P 250-259 %T Smaller Abstractions for FOR ALL CTL* without Next. %U http://dblp.uni-trier.de/db/conf/birthday/roever2010.html#EngelhardtH10 %V 5930 %@ 978-3-642-11511-0

@inproceedings{conf/birthday/EngelhardtH10, added-at = {2017-05-23T00:00:00.000+0200}, author = {Engelhardt, Kai and Huuck, Ralf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e3ec707d85e5daff9f67e141a114be2d/dblp}, booktitle = {Concurrency, Compositionality, and Correctness}, crossref = {conf/birthday/2010roever}, editor = {Dams, Dennis and Hannemann, Ulrich and Steffen, Martin}, ee = {https://doi.org/10.1007/978-3-642-11512-7_16}, interhash = {6a5b74bf830fb0b74710753003702051}, intrahash = {e3ec707d85e5daff9f67e141a114be2d}, isbn = {978-3-642-11511-0}, keywords = {dblp}, pages = {250-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:05:45.000+0200}, title = {Smaller Abstractions for FOR ALL CTL* without Next.}, url = {http://dblp.uni-trier.de/db/conf/birthday/roever2010.html#EngelhardtH10}, volume = 5930, year = 2010 }