Testing Theory in Practice: a Simple Experiment

R. Terpstra; Luis Ferreira Pires; A.W. Heerink; G.J. Tretmans

Testing Theory in Practice: a Simple Experiment

R. Terpstra, Luis Ferreira Pires, A.W. Heerink, G.J. Tretmans

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

Original language	Undefined
Title of host publication	Proceedings of COST 247 International Workshop on Applied Formal Methods in System Design
Place of Publication	University of Maribor, Slovenia
Publisher	Universiteit Twente
Pages	168-183
Number of pages	16
ISBN (Print)	86-435-0155-7
Publication status	Published - 29 Aug 1996

Keywords

METIS-120076

Cite this

@inproceedings{3eb21f5f73824ccbafec513da9e17f69,

title = "Testing Theory in Practice: a Simple Experiment",

keywords = "METIS-120076",

author = "R. Terpstra and {Ferreira Pires}, Luis and A.W. Heerink and G.J. Tretmans",

year = "1996",

month = aug,

day = "29",

language = "Undefined",

isbn = "86-435-0155-7",

pages = "168--183",

booktitle = "Proceedings of COST 247 International Workshop on Applied Formal Methods in System Design",

publisher = "Universiteit Twente",

}

Testing Theory in Practice: a Simple Experiment. / Terpstra, R.; Ferreira Pires, Luis; Heerink, A.W.; Tretmans, G.J.

Proceedings of COST 247 International Workshop on Applied Formal Methods in System Design. University of Maribor, Slovenia : Universiteit Twente, 1996. p. 168-183.

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

TY - GEN

T1 - Testing Theory in Practice: a Simple Experiment

AU - Terpstra, R.

AU - Ferreira Pires, Luis

AU - Heerink, A.W.

AU - Tretmans, G.J.

PY - 1996/8/29

Y1 - 1996/8/29

KW - METIS-120076

M3 - Conference contribution

SN - 86-435-0155-7

SP - 168

EP - 183

BT - Proceedings of COST 247 International Workshop on Applied Formal Methods in System Design

PB - Universiteit Twente

CY - University of Maribor, Slovenia

ER -