Context-Sensitive Visibility

A. Valmari; H. Virtanen; A. Puhakka

Context-Sensitive Visibility

A. Valmari, H. Virtanen, A. Puhakka

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Translated title of the contribution	Context-Sensitive Visibility
Original language	English
Title of host publication	7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), University of Malaga, Spain, July 12-13, 2002
Editors	R. Cleaveland, H. Garavel
Pages	201-217
Publication status	Published - 2002
Publication type	A4 Article in conference proceedings

Publication forum classification

No publication forum level

Cite this

@inproceedings{880e284237c94f96810c8b294bb58786,

title = "Context-Sensitive Visibility",

author = "A. Valmari and H. Virtanen and A. Puhakka",

note = "Ilmoitettu: ar e<br/>Contribution: organisation=ohj,FACT1=1",

year = "2002",

language = "English",

pages = "201--217",

editor = "R. Cleaveland and H. Garavel",

booktitle = "7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), University of Malaga, Spain, July 12-13, 2002",

}

Context-Sensitive Visibility. / Valmari, A.; Virtanen, H.; Puhakka, A.
7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), University of Malaga, Spain, July 12-13, 2002. ed. / R. Cleaveland; H. Garavel. 2002. p. 201-217.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Context-Sensitive Visibility

AU - Valmari, A.

AU - Virtanen, H.

AU - Puhakka, A.

N1 - Ilmoitettu: ar e<br/>Contribution: organisation=ohj,FACT1=1

PY - 2002

Y1 - 2002

M3 - Conference contribution

SP - 201

EP - 217

BT - 7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), University of Malaga, Spain, July 12-13, 2002

A2 - Cleaveland, R.

A2 - Garavel, H.

ER -