Context-Sensitive Visibility

A. Valmari; H. Virtanen; A. Puhakka

Context-Sensitive Visibility

Julkaisun otsikon käännös: Context-Sensitive Visibility

A. Valmari
, H. Virtanen
, A. Puhakka

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Julkaisun otsikon käännös	Context-Sensitive Visibility
Alkuperäiskieli	Englanti
Otsikko	7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), University of Malaga, Spain, July 12-13, 2002
Toimittajat	R. Cleaveland, H. Garavel
Sivut	201-217
Tila	Julkaistu - 2002
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso

Ei tasoa

Siteeraa tätä

@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",

}

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 -