Home > Articles > A linear temporal logic model checking method over finite words with correlated transition attributes > BibTeX |
@article{Couvreur:69708, author = "Couvreur, J.M. and Ezpeleta, J.", title = "{A linear temporal logic model checking method over finite words with correlated transition attributes}", year = "2017", }