Assessment of Modules in LOTOS

@conference{bf39e07d633e4f28b102784495023939,

title = "Assessment of Modules in LOTOS",

keywords = "METIS-123044",

author = "G.J. Tretmans",

note = "Bijdrage aan ESPRIT/LOTOSPHERE (2 p.) ",

year = "1990",

month = jan,

day = "31",

language = "Undefined",

pages = "--",

}

Research output: Contribution to conference › Paper

TY - CONF

T1 - Assessment of Modules in LOTOS

AU - Tretmans, G.J.

N1 - Bijdrage aan ESPRIT/LOTOSPHERE (2 p.)

PY - 1990/1/31

Y1 - 1990/1/31

KW - METIS-123044

M3 - Paper

SP - -

ER -

Keywords