Jacques Julliand, Pierre-Alain Masson, Emilie Oudot. Partitioned PLTL model-checking for refined transition systems. Inf. Comput., 207(6):681-698, 2009. [doi]
@article{JulliandMO09, title = {Partitioned PLTL model-checking for refined transition systems}, author = {Jacques Julliand and Pierre-Alain Masson and Emilie Oudot}, year = {2009}, doi = {10.1016/j.ic.2009.02.001}, url = {http://dx.doi.org/10.1016/j.ic.2009.02.001}, tags = {model checking, meta-model, Meta-Environment, partitioning}, researchr = {https://researchr.org/publication/JulliandMO09}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {207}, number = {6}, pages = {681-698}, }