Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.