Page 1 from 714 hits

Sort by: Relevancy | Date newest | Title A-Z

  1.  

    Model-based Analysis for Interaction Between Rider and Unicycle

    Iwase, M. / Ohsaki, H. | British Library Online Contents | 2014
  2.  

    Nonlinear abc-Model for Electrical Machines Using N-D Lookup Tables

    Queval, L. / Ohsaki, H. | British Library Online Contents | 2015
  3.  

    Tree Automata for Non-linear Arithmetic

    Kobayashi, N. / Ohsaki, H. | British Library Online Contents | 2008
  4.  

    Combining Equational Tree Automata over AC and ACI Theories

    Hendrix, J. / Ohsaki, H. | British Library Online Contents | 2008
  5.  

    Tree Automata for Non-linear Arithmetic

    Kobayashi, N. / Ohsaki, H. | British Library Conference Proceedings | 2008
  6.  

    On Model Checking for Visibly Pushdown Automata

    Van Nguyen, T. / Ohsaki, H. | British Library Conference Proceedings | 2012
  7.  

    Combining Equational Tree Automata over AC and ACI Theories

    Hendrix, J. / Ohsaki, H. | British Library Conference Proceedings | 2008
  8.  

    Checking On-the-Fly Universality and Inclusion Problems of Visibly Pushdown Automata

    Van Tang, N. / Ohsaki, H. | British Library Online Contents | 2011

Number of results: 10 | 20 | 50