Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems

LNAI 5955.

Detalles Bibliográficos
Autor principal: Puppis, Gabriele
Lenguaje:eng
Publicado: Springer 2010
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2758102
_version_ 1780970087602192384
author Puppis, Gabriele
author_facet Puppis, Gabriele
author_sort Puppis, Gabriele
collection CERN
description LNAI 5955.
id cern-2758102
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2010
publisher Springer
record_format invenio
spelling cern-27581022021-04-21T16:40:40Zhttp://cds.cern.ch/record/2758102engPuppis, GabrieleAutomata for branching and layered temporal structures: an investigation into regularities of infinite transition systemsXXLNAI 5955.Springeroai:cds.cern.ch:27581022010
spellingShingle XX
Puppis, Gabriele
Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
title Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
title_full Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
title_fullStr Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
title_full_unstemmed Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
title_short Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
title_sort automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
topic XX
url http://cds.cern.ch/record/2758102
work_keys_str_mv AT puppisgabriele automataforbranchingandlayeredtemporalstructuresaninvestigationintoregularitiesofinfinitetransitionsystems

Ejemplares similares