Barbara Lukawska, Grzegorz Lukawski, Krzysztof Sapiecha. An Application of Expectation-Maximization for Model Verification. Annales UMCS, Informatica, 10(1):15-27, 2010. [doi]
@article{LukawskaLS10,
title = {An Application of Expectation-Maximization for Model Verification},
author = {Barbara Lukawska and Grzegorz Lukawski and Krzysztof Sapiecha},
year = {2010},
doi = {10.2478/v10065-010-0032-x},
url = {http://dx.doi.org/10.2478/v10065-010-0032-x},
researchr = {https://researchr.org/publication/LukawskaLS10},
cites = {0},
citedby = {0},
journal = {Annales UMCS, Informatica},
volume = {10},
number = {1},
pages = {15-27},
}