Grid  List

  1. Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeSymbolic verification of communication protocols with infinite state spaces using QD...

    53,49 €*
  2. Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeA game-theoretic approach to hybrid system design.- Verifying clocked transition sys...

    106,99 €*
  3. Taschenbuch
    Besorgungstitel - wird vorgemerkt

    ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...

    106,99 €*
  1. 1