Search Results

Showing 1 - 20 results of 218 for search '"automata"', query time: 0.33s Refine Results
  1. 1
    Published 2008
    Get access
    Get access
    Get access
    Book
  2. 2
    by Adam Clarridge
    Published 2009
    “...Cellular automata (CA) are an interesting computation medium to study because of their simplicity...”
    Get access
    Get access
    Text
  3. 3
    Subjects: “...cellular automata...”
    Get access
    Get access
    Conference Object
  4. 4
    Subjects: “...cellular automata...”
    Get access
    Get access
    Conference Object
  5. 5
    Subjects: “...cellular automata...”
    Get access
    Get access
    Conference Object
  6. 6
    Subjects: “...Automata...”
    Get access
    Get access
    Conference Object
  7. 7
    “...International audience The verification of probabilistic timed automata involves finding schedulers...”
    Get access
    Get access
    Get access
    Conference Object
  8. 8
    “...International audience The verification of probabilistic timed automata involves finding schedulers...”
    Get access
    Get access
    Get access
    Conference Object
  9. 9
    “...International audience The verification of probabilistic timed automata involves finding schedulers...”
    Get access
    Get access
    Get access
    Conference Object
  10. 10
    by Li, Siqi, Madelaine, Eric
    Published 2016
    “...International audience Parameterised Networks of Synchronised Automata (pNets) is a machine...”
    Get access
    Get access
    Get access
    Conference Object
  11. 11
    by Li, Siqi, Madelaine, Eric
    Published 2016
    “...International audience Parameterised Networks of Synchronised Automata (pNets) is a machine...”
    Get access
    Get access
    Get access
    Conference Object
  12. 12
    Subjects: “...Automata...”
    Get access
    Get access
    Conference Object
  13. 13
    “...International audience The verification of probabilistic timed automata involves finding schedulers...”
    Get access
    Get access
    Get access
    Conference Object
  14. 14
    Subjects: “...Automata...”
    Get access
    Get access
    Conference Object
  15. 15
    Subjects: “...Automata...”
    Get access
    Get access
    Conference Object
  16. 16
    by Koprowski Adam, Waldmann Johannes
    Published 2009
    “...We use weighted tree automata as certificates for termination of term rewriting systems...”
    Get access
    Get access
    Text
  17. 17
    by Koprowski, Adam, Waldmann, Johannes
    Published 2009
    “...We use weighted tree automata as certificates for termination of term rewriting systems...”
    Get access
    Article in Journal/Newspaper
  18. 18
    by Adam Koprowski, Johannes Waldmann
    Published 2009
    “...We use weighted tree automata as certificates for termination of term rewriting systems...”
    Get access
    Get access
    Text
  19. 19
    by Li, Siqi, Madelaine, Eric
    Published 2016
    “...International audience Parameterised Networks of Synchronised Automata (pNets) is a machine...”
    Get access
    Get access
    Get access
    Conference Object
  20. 20
    “...co-located with ICALP'08: 35th International Colloquium on Automata, Languages and Programming...”
    Get access
    Conference Object
Search Tools: Get RSS Feed