Blondin, M., Haase, C., Mazowiecki, F., & Raskin, M. (2021). Affine extensions of integer vector addition systems with states. Logical Methods in Computer Science.
Citación estilo ChicagoBlondin, M., C. Haase, F. Mazowiecki, and M. Raskin. Affine Extensions of Integer Vector Addition Systems with States. Logical Methods in Computer Science, 2021.
Cita MLABlondin, M., et al. Affine Extensions of Integer Vector Addition Systems with States. Logical Methods in Computer Science, 2021.
Warning: These citations may not always be 100% accurate.