%0 Conference Paper %1 conf/caap/Koivola96 %A Kaivola, Roope %B CAAP %D 1996 %E Kirchner, Hélène %I Springer %K dblp %P 87-101 %T Axiomatising Extended Computation Tree Logic. %U http://dblp.uni-trier.de/db/conf/caap/caap96.html#Koivola96 %V 1059 %@ 3-540-61064-2

@inproceedings{conf/caap/Koivola96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Kaivola, Roope}, biburl = {https://www.bibsonomy.org/bibtex/205fc71a35a1cead7bf80e08bce165f14/dblp}, booktitle = {CAAP}, crossref = {conf/caap/1996}, editor = {Kirchner, Hélène}, ee = {https://doi.org/10.1007/3-540-61064-2_31}, interhash = {4f3b5141ef534c95ea976dbd6b8486c2}, intrahash = {05fc71a35a1cead7bf80e08bce165f14}, isbn = {3-540-61064-2}, keywords = {dblp}, pages = {87-101}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:33.000+0200}, title = {Axiomatising Extended Computation Tree Logic.}, url = {http://dblp.uni-trier.de/db/conf/caap/caap96.html#Koivola96}, volume = 1059, year = 1996 }