Citations refer to the original publication, not to a Scieee localized version.
Neele, T., Valmari, A., Willemse, T. A. C., Goubault-Larrecq, J., & König, B. (2020). The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Springer. https://jyx.jyu.fi/handle/123456789/68692
Neele, Thomas, et al. The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Springer, 2020. https://jyx.jyu.fi/handle/123456789/68692.
Neele, Thomas, Antti Valmari, Tim A. C Willemse, Jean Goubault-Larrecq, and Barbara König. The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Springer, 2020. https://jyx.jyu.fi/handle/123456789/68692.
Neele, T. et al. (2020) The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Springer. Available at: https://jyx.jyu.fi/handle/123456789/68692.
T. Neele, A. Valmari, T. A. C. Willemse, J. Goubault-Larrecq, and B. König, “The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction,” Springer, 2020. [Online]. Available: https://jyx.jyu.fi/handle/123456789/68692
@misc{neele2020inconsistent,
author = {Neele, Thomas and Valmari, Antti and Willemse, Tim A. C and Goubault-Larrecq, Jean and König, Barbara},
title = {The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction},
year = {2020},
publisher = {Springer},
url = {https://jyx.jyu.fi/handle/123456789/68692}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
