Treffer 1 - 2 von 2 für Suche 'Descoubes, Nicolas', Suchdauer: 0,47s Treffer weiter einschränken
  1. 1
    BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

    BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking von Bergamini, Damien, Descoubes, Nicolas, Joubert, Christophe, Mateescu, Radu


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation

    DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation von Garavel, Hubert, Mateescu, Radu, Bergamini, Damien, Curic, Adrian, Descoubes, Nicolas, Joubert, Christophe, Smarandache-Sturm, Irina, Stragier, Gilles


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: