Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    An Overview of SAL


    Beteiligte:
    Bensalem, S. (Autor:in) / Ganesh, V. (Autor:in) / Lakhnech, Y. (Autor:in) / Munoz, C. (Autor:in) / Owre, S. (Autor:in) / Ruess, H. (Autor:in) / Rushby, J. (Autor:in) / Rusu, V. (Autor:in) / Saidi, H. (Autor:in) / Shankar, N. (Autor:in)

    Kongress:

    5th, Langley formal methods workshop; Lfm2000 ; 2000 ; Williamsburg, VA



    Erscheinungsdatum :

    2000-01-01


    Format / Umfang :

    10 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Overview

    Young, John | Online Contents | 2004


    Overview

    Haignere, Jean-Pierre | Elsevier | 2004


    Overview

    Guenov, Marin D. / Kesseler, Ernst | AIAA | 2010


    Overview

    Haignere, Jean-Pierre | Online Contents | 2004


    Overview

    Online Contents | 1998