@article{articlefd4d0ec0,
title   = {Model checking multi-level and recursive nets},
author = {Fernández Venero, Mirtha Lina and Silva, Flávio Soares Corrêa da},
year = {2017},
doi = {10.1007/s10270-015-0509-6},
journal   = {Software and Systems Modeling}
}