Integer Vector Addition Systems with States

From MaRDI portal
Publication:3447699

DOI10.1007/978-3-319-11439-2_9zbMath1393.68115arXiv1406.2590OpenAlexW3100550693MaRDI QIDQ3447699

Christoph Haase, Simon Halfon

Publication date: 28 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.2590




Related Items (17)




This page was built for publication: Integer Vector Addition Systems with States