IndexBrowseAddEditDelete   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #32   Download bibtex file Type :   Html | Bib | Both
    Created: 2009-09-19 11:37:52
32 Add to my selection
@InProceedings{2005:ZhaChe:Semantic,
      AUTHOR = {Zhang, Ji and Cheng, Betty},
      TITLE = {Specifying adaptation semantics},
      YEAR = {2005},
      MONTH = {17-17 May},
      BOOKTITLE = {Workshop on Architecting Dependable Systems},
      PAGES = {1-7},
      ADDRESS = {Saint-Louis, USA},
      KEYWORDS = {Logique temporelle linĂ©aire, Formalisation, Protocole de reconfiguration, VĂ©rification}
}
Feedback: Jeremy Buisson
Last modified: Thu February 03 2011 11:56:19
        BibAdmin