%0 Journal Article %1 journals/fmsd/GrumbergHS05 %A Grumberg, Orna %A Heyman, Tamir %A Schuster, Assaf %D 2005 %J Formal Methods in System Design %K dblp %N 2 %P 197-219 %T Distributed Symbolic Model Checking for µ-Calculus. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd26.html#GrumbergHS05 %V 26

@article{journals/fmsd/GrumbergHS05, added-at = {2006-02-13T00:00:00.000+0100}, author = {Grumberg, Orna and Heyman, Tamir and Schuster, Assaf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d1fa0562230810a95d78147726b6ee18/dblp}, ee = {http://dx.doi.org/10.1007/s10703-005-1493-1}, interhash = {abf1c74096c6578691371cd6a8fb77bd}, intrahash = {d1fa0562230810a95d78147726b6ee18}, journal = {Formal Methods in System Design}, keywords = {dblp}, number = 2, pages = {197-219}, timestamp = {2016-02-02T01:14:10.000+0100}, title = {Distributed Symbolic Model Checking for µ-Calculus.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd26.html#GrumbergHS05}, volume = 26, year = 2005 }