@article{Valmari_1992,
    doi = {10.1007/bf00709154},
    url = {https://doi.org/10.1007%2Fbf00709154},
    year = {1992},
    month = {dec},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {1},
    number = {4},
    pages = {297--322},
    author = {Antti Valmari},
    title = {A stubborn attack on state explosion},
    journal = {Formal Methods in System Design}
}

@article{Valmari_1992, doi = {10.1007/bf00709154}, url = {https://doi.org/10.1007%2Fbf00709154}, year = {1992}, month = {dec}, publisher = {Springer Science and Business Media {LLC}}, volume = {1}, number = {4}, pages = {297--322}, author = {Antti Valmari}, title = {A stubborn attack on state explosion}, journal = {Formal Methods in System Design} }