Fundamenta Informaticae > 2014 > Vol. 130, nr 1 > 99--123
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Abdulla, P. A., Cerans, K., Jonsson, B., Tsay, Y. K.: General Decidability Theorems for Infinite-State Systems, 11th Annual IEEE Symposium on Logic in Computer Science, LICS, 1996.
-
[2] Bednarczyk,M. A., Bernardinello, L., Pawlowski,W., Pomello, L.: Modelling mobility with Petri hypernets, Recent Trends in Algebraic Development Techniques (J. L. Fiadeiro et al., Eds.), 3423, Springer, 2004.
-
[3] Bonnet, R., Finkel, A., Leroux, J., Zeitoun,M.: Model Checking Vector Addition Systems with one zero-test, Logical Methods in Computer Science, 8(2), June 2012, 11.