• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Modular Modelling of Context-Awareness

Mats Neovius, Kaisa Sere, Formal Modular Modelling of Context-Awareness. In: Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain (Eds.), Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Revised Lectures, 102-118, Lecture Notes in Computer Science , 2008.

BibTeX entry:

@INPROCEEDINGS{inpNeSe08a,
  title = {Formal Modular Modelling of Context-Awareness},
  booktitle = {Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Revised Lectures},
  author = {Neovius, Mats and Sere, Kaisa},
  number = {5751},
  editor = {de Boer, Frank S. and Bonsangue, Marcello M. and Madelain, Eric},
  publisher = {Lecture Notes in Computer Science },
  pages = {102-118},
  year = {2008},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication