Showing 1 - 6 results of 6 for search 'Janota, M. S.', query time: 0.03s Refine Results
  1. 1
    Vehicle engines: fuel consumption and their air pollution;

    Vehicle engines: fuel consumption and their air pollution; by Janota, M. S.

    Published 1974
  2. 2
    Reachability Analysis for Annotated Code

    Reachability Analysis for Annotated Code by Janota, M, Grigore, R, Moskal, M

    Published 2007
    Record
  3. 3
    Turbocharging the internal combustion engine/

    Turbocharging the internal combustion engine/ by 529263 Watson, N. (Neil), 1939-, Janota, M. S.

    Published 1982
  4. 4
    Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

    Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription by Janota, M, Grigore, R, Marques−Silva, J

    Published 2010
    Conference item
  5. 5
    How to Complete an Interactive Configuration Process?

    How to Complete an Interactive Configuration Process? by Janota, M, Botterweck, G, Grigore, R, Silva, J

    Published 2010
    Conference item
  6. 6
    CLOPS: A DSL for command line options

    CLOPS: A DSL for command line options by Janota, M, Fairmichael, F, Holub, V, Grigore, R, Charles, J, Cochran, D, Kiniry, J

    Published 2009
    Journal article

Search Tools: