missi-savcbs-04

Summary

Toward Structural and Behavioral Analysis for Component Models. Tran Hanh-Missi, P. Bedu, Laurence Duchien, H.Q. Nguyen and J. Perrin. In The FSE 2004 Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), pages 138-141, Newport Beach, CA, USA, November 2004.

Bibtex entry

@INPROCEEDINGS { missi-savcbs-04,
    AUTHOR = { Tran Hanh-Missi and P. Bedu and Laurence Duchien and H.Q. Nguyen and J. Perrin },
    TITLE = { Toward Structural and Behavioral Analysis for Component Models },
    BOOKTITLE = { The FSE 2004 Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004) },
    ADDRESS = { Newport Beach, CA, USA },
    MONTH = { nov },
    YEAR = { 2004 },
    GROUPS = { international,jacquard,mosaiques,workshop },
    PDF = { missi-savcbs-04.pdf },
    PAGES = { 138-141 },
    WEBSITE = { www.cs.iastate.edu/%7eleavens/SAVCBS/2004/ },
    LONGNOTES = { 20041101 },
    LASTNAME = { Hanh-Missi },
    DATEADDED = { 2007-03-26 },
    LASTDATEMODIFIED = { 2007-03-26 },
    AERES = { ACT },
    INRIA = { JACQUARD },
    LABO = { dans },
}