Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Jérôme Dubois
Publications
From Spot 2.0 to Spot 2.10: What's New?
Alexandre Duret-Lutz
,
Etienne Renault
,
Maximilien Colange
,
Florian Renkin
,
Alexandre Gbaguidi Aisse
,
Philipp Schlehuber-Caissier
,
Thomas Medioni
,
Antoine Martin
,
Jérôme Dubois
,
Clément Gillard
and
Henrich Lauko
EasyChair Preprint 8618
Keyphrases
acceptance condition
,
Emerson-Lei acceptance
,
HOA format
,
LTL
,
tool
,
transformation
,
ω-automata
.
Copyright © 2012-2024 easychair.org. All rights reserved.