Hubert Comon, Yan Jurski. Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 268-279, Springer, 1998.
@inproceedings{ComonJ98,
title = {Multiple Counters Automata, Safety Analysis and Presburger Arithmetic},
author = {Hubert Comon and Yan Jurski},
year = {1998},
tags = {analysis},
researchr = {https://researchr.org/publication/ComonJ98},
cites = {0},
citedby = {0},
pages = {268-279},
booktitle = {Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
editor = {Alan J. Hu and Moshe Y. Vardi},
volume = {1427},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64608-6},
}