R | |
---|---|
[RY86] | Louis E. Rosier and Hsu-Chun Yen. A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. Journal of Computer and System Sciences 32(1):105-135. Academic Press, February 1986. |
Search
Displayed 1 resultList of authors
- 1
- 1