Anne Labroue, Ph. Schnoebelen. An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. Nord. J. Comput., 9(1):118-144, 2002.
@article{LabroueS02,
title = {An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems},
author = {Anne Labroue and Ph. Schnoebelen},
year = {2002},
tags = {analysis, systematic-approach},
researchr = {https://researchr.org/publication/LabroueS02},
cites = {0},
citedby = {0},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {118-144},
}