For citations:
Dekhtyar M., Karlov B. PDA with Independent Counters. Modeling and Analysis of Information Systems. 2015;22(2):176-196. https://doi.org/10.18255/1818-1015-2015-2-176-196
Dekhtyar M., Karlov B. PDA with Independent Counters. Modeling and Analysis of Information Systems. 2015;22(2):176-196. https://doi.org/10.18255/1818-1015-2015-2-176-196