Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Proofs for traffic safety : combining diagrams and logic


    Contributors:


    Publication date :

    2015


    Size :

    XIII, 201, 7 S.


    Remarks:

    graf. Darst.
    Zsfassung in dt. Sprache
    Digital preservation by Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek


    Type of media :

    Theses


    Type of material :

    Print


    Language :

    English



    Classification :

    BKL:    31.12 Kombinatorik, Graphentheorie / 55.24 Fahrzeugführung, Fahrtechnik