On the coverage of partial validations

E. Brinksma

On the coverage of partial validations

E. Brinksma

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

Original language	English
Title of host publication	Algebraic Methodology and Software Technology (Proceedings 3rd International Conference, AMAST'93, Enschede, The Netherlands, June 21-25, 1993)
Editors	M. Nivat, C. Rattray, T. Rus, G. Scollo
Publisher	Springer
Pages	245-252
ISBN (Print)	3-540-19852-0
Publication status	Published - 1994

Publication series

Name	Workshops in Computing

Cite this

@inproceedings{3ad1eb52c119440a888d73d686ecc62b,

title = "On the coverage of partial validations",

author = "E. Brinksma",

year = "1994",

language = "English",

isbn = "3-540-19852-0",

series = "Workshops in Computing",

publisher = "Springer",

pages = "245--252",

editor = "M. Nivat and C. Rattray and T. Rus and G. Scollo",

booktitle = "Algebraic Methodology and Software Technology (Proceedings 3rd International Conference, AMAST'93, Enschede, The Netherlands, June 21-25, 1993)",

address = "Germany",

}

On the coverage of partial validations. / Brinksma, E.

Algebraic Methodology and Software Technology (Proceedings 3rd International Conference, AMAST'93, Enschede, The Netherlands, June 21-25, 1993). ed. / M. Nivat; C. Rattray; T. Rus; G. Scollo. Springer, 1994. p. 245-252 (Workshops in Computing).

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

TY - GEN

T1 - On the coverage of partial validations

AU - Brinksma, E.

PY - 1994

Y1 - 1994

M3 - Conference contribution

SN - 3-540-19852-0

T3 - Workshops in Computing

SP - 245

EP - 252

BT - Algebraic Methodology and Software Technology (Proceedings 3rd International Conference, AMAST'93, Enschede, The Netherlands, June 21-25, 1993)

A2 - Nivat, M.

A2 - Rattray, C.

A2 - Rus, T.

A2 - Scollo, G.

PB - Springer

ER -