HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:counter automata

Publications
Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes
Wojciech Czerwiński and Łukasz Orlikowski
EasyChair Preprint 8619
Tool Demonstration of the FLATA Counter Automata Toolset
Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar
In:WING 2010. Workshop on Invariant Generation 2010
Copyright © 2012-2025 easychair.org. All rights reserved.