%0 Conference Paper %1 conf/fsttcs/DaxHL06 %A Dax, Christian %A Hofmann, Martin %A Lange, Martin %B FSTTCS %D 2006 %E Arun-Kumar, S. %E Garg, Naveen %I Springer %K dblp %P 273-284 %T A Proof System for the Linear Time µ-Calculus. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2006.html#DaxHL06 %V 4337 %@ 3-540-49994-6

@inproceedings{conf/fsttcs/DaxHL06, added-at = {2018-01-09T00:00:00.000+0100}, author = {Dax, Christian and Hofmann, Martin and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2c5bdb4caeac63a8b84cbe56e64541ea3/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2006}, editor = {Arun-Kumar, S. and Garg, Naveen}, ee = {https://doi.org/10.1007/11944836_26}, interhash = {4d32d5fab7b6006440555c08a32652e3}, intrahash = {c5bdb4caeac63a8b84cbe56e64541ea3}, isbn = {3-540-49994-6}, keywords = {dblp}, pages = {273-284}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:16.000+0200}, title = {A Proof System for the Linear Time µ-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2006.html#DaxHL06}, volume = 4337, year = 2006 }