@inproceedings{Kouzmin_2004,
    doi = {10.1109/time.2004.1314433},
    url = {https://doi.org/10.1109%2Ftime.2004.1314433},
    year = {2004},
    publisher = {{IEEE}},
    author = {E.V. Kouzmin and N.V. Shilov and V.A. Sokolov},
    title = {Model checking /spl mu/-calculus in well-structured transition systems},
    booktitle = {Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. {TIME} 2004.}
}

@inproceedings{Kouzmin_2004, doi = {10.1109/time.2004.1314433}, url = {https://doi.org/10.1109%2Ftime.2004.1314433}, year = {2004}, publisher = {{IEEE}}, author = {E.V. Kouzmin and N.V. Shilov and V.A. Sokolov}, title = {Model checking /spl mu/-calculus in well-structured transition systems}, booktitle = {Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. {TIME} 2004.} }