%0 Conference Paper %1 conf/tacas/Sprenger98 %A Sprenger, Christoph %B TACAS %D 1998 %E Steffen, Bernhard %I Springer %K dblp %P 167-183 %T A Verified Model Checker for the Modal µ-calculus in Coq. %U http://dblp.uni-trier.de/db/conf/tacas/tacas98.html#Sprenger98 %V 1384 %@ 3-540-64356-7

@inproceedings{conf/tacas/Sprenger98, added-at = {2017-12-31T00:00:00.000+0100}, author = {Sprenger, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2593200bf2c9bfa0fb6d2c47d1046f2c6/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/1998}, editor = {Steffen, Bernhard}, ee = {https://doi.org/10.1007/BFb0054171}, interhash = {56016b153953e2441f4ec689be32808f}, intrahash = {593200bf2c9bfa0fb6d2c47d1046f2c6}, isbn = {3-540-64356-7}, keywords = {dblp}, pages = {167-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:06.000+0200}, title = {A Verified Model Checker for the Modal µ-calculus in Coq.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas98.html#Sprenger98}, volume = 1384, year = 1998 }