Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems

Bibliographic Details
Main Author: Puppis, G
Format: Journal article
Published: 2010
_version_ 1797086195440680960
author Puppis, G
author_facet Puppis, G
author_sort Puppis, G
collection OXFORD
description
first_indexed 2024-03-07T02:18:38Z
format Journal article
id oxford-uuid:a3231c18-d08e-46a9-8fad-f827fbd2e29d
institution University of Oxford
last_indexed 2024-03-07T02:18:38Z
publishDate 2010
record_format dspace
spelling oxford-uuid:a3231c18-d08e-46a9-8fad-f827fbd2e29d2022-03-27T02:24:45ZAutomata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systemsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:a3231c18-d08e-46a9-8fad-f827fbd2e29dDepartment of Computer Science2010Puppis, G
spellingShingle Puppis, G
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
work_keys_str_mv AT puppisg automataforbranchingandlayeredtemporalstructuresaninvestigationintoregularitiesofinfinitetransitionsystems