Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/atva/IosifS16
%A Iosif, Radu
%A Sangnier, Arnaud
%B ATVA
%D 2016
%E Artho, Cyrille
%E Legay, Axel
%E Peled, Doron
%K dblp
%P 89-105
%T How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?
%U http://dblp.uni-trier.de/db/conf/atva/atva2016.html#IosifS16
%V 9938
%@ 978-3-319-46519-7
@inproceedings{conf/atva/IosifS16,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Iosif, Radu and Sangnier, Arnaud},
biburl = {https://www.bibsonomy.org/bibtex/207d58987e1147d8a1fa7f862c4fdbde7/dblp},
booktitle = {ATVA},
crossref = {conf/atva/2016},
editor = {Artho, Cyrille and Legay, Axel and Peled, Doron},
ee = {https://doi.org/10.1007/978-3-319-46520-3_6},
interhash = {7246742c5c9a512dafe794e7e39f6221},
intrahash = {07d58987e1147d8a1fa7f862c4fdbde7},
isbn = {978-3-319-46519-7},
keywords = {dblp},
pages = {89-105},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T12:16:50.000+0200},
title = {How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?},
url = {http://dblp.uni-trier.de/db/conf/atva/atva2016.html#IosifS16},
volume = 9938,
year = 2016
}