%0 Journal Article %1 journals/jucs/DoderOM10 %A Doder, Dragan %A Ognjanovic, Zoran %A Markovic, Zoran %D 2010 %J J. Univers. Comput. Sci. %K dblp %N 11 %P 1439-1451 %T An Axiomatization of a First-order Branching Time Temporal Logic. %U http://dblp.uni-trier.de/db/journals/jucs/jucs16.html#DoderOM10 %V 16

@article{journals/jucs/DoderOM10, added-at = {2023-09-07T00:00:00.000+0200}, author = {Doder, Dragan and Ognjanovic, Zoran and Markovic, Zoran}, biburl = {https://www.bibsonomy.org/bibtex/2bfbe165e860b6994c6e9801d997e5a04/dblp}, ee = {https://doi.org/10.3217/jucs-016-11-1439}, interhash = {32f916f7755b4397b352c65c4e12d8d4}, intrahash = {bfbe165e860b6994c6e9801d997e5a04}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 11, pages = {1439-1451}, timestamp = {2024-04-08T15:59:45.000+0200}, title = {An Axiomatization of a First-order Branching Time Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs16.html#DoderOM10}, volume = 16, year = 2010 }