Context-Sensitive Visibility

A. Valmari, H. Virtanen, A. Puhakka

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Translated title of the contributionContext-Sensitive Visibility
    Original languageEnglish
    Title of host publication7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), University of Malaga, Spain, July 12-13, 2002
    EditorsR. Cleaveland, H. Garavel
    Publication statusPublished - 2002
    Publication typeA4 Article in conference proceedings

    Publication forum classification

    • No publication forum level

    Cite this