Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

L. Brim (Redacteur), B.R.H.M. Haverkort (Redacteur), M. Leucker (Redacteur), J.C. Pol, van de (Redacteur)

    Onderzoeksoutput: Boek/rapportBoekredactieAcademic

    Originele taal-2Engels
    Plaats van productieBerlin
    UitgeverijSpringer
    Aantal pagina's363
    ISBN van elektronische versie9783540709527
    ISBN van geprinte versie978-3-540-70951-0
    DOI's
    StatusGepubliceerd - 2007

    Publicatie series

    NaamLecture notes in computer science
    Volume4346
    ISSN van geprinte versie0302-9743

    Citeer dit