Testing Labelled Transition Systems with Inputs and Outputs

G.J. Tretmans

Testing Labelled Transition Systems with Inputs and Outputs

G.J. Tretmans

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

Original language	Undefined
Title of host publication	Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session
Editors	A. Cavalli, S. Budkowski
Place of Publication	Evry, France
Publisher	Institut National des Télécommunications
Pages	461-476
Number of pages	16
ISBN (Print)	not assigned
Publication status	Published - 1995
Event	Participants Int. Workshop on Protocol Test Systems VIII --- COST 247 Session - Evry, France Duration: 4 Sep 1995 → 6 Sep 1995

Workshop

Workshop	Participants Int. Workshop on Protocol Test Systems VIII --- COST 247 Session
Period	4/09/95 → 6/09/95
Other	4-6 Sept 1995

Keywords

FMT-TESTING
EWI-6499

Cite this

@inproceedings{7e038b1b905e43509862df3d4e244b84,

title = "Testing Labelled Transition Systems with Inputs and Outputs",

keywords = "FMT-TESTING, EWI-6499",

author = "G.J. Tretmans",

year = "1995",

language = "Undefined",

isbn = "not assigned",

pages = "461--476",

editor = "A. Cavalli and S. Budkowski",

booktitle = "Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session",

publisher = "Institut National des T{\'e}l{\'e}communications",

note = "null ; Conference date: 04-09-1995 Through 06-09-1995",

}

Tretmans, GJ 1995, Testing Labelled Transition Systems with Inputs and Outputs. in A Cavalli & S Budkowski (eds), Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session. Institut National des Télécommunications, Evry, France, pp. 461-476, Participants Int. Workshop on Protocol Test Systems VIII --- COST 247 Session, 4/09/95.

Testing Labelled Transition Systems with Inputs and Outputs. / Tretmans, G.J.

Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session. ed. / A. Cavalli; S. Budkowski. Evry, France : Institut National des Télécommunications, 1995. p. 461-476.

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

TY - GEN

T1 - Testing Labelled Transition Systems with Inputs and Outputs

AU - Tretmans, G.J.

PY - 1995

Y1 - 1995

KW - FMT-TESTING

KW - EWI-6499

M3 - Conference contribution

SN - not assigned

SP - 461

EP - 476

BT - Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session

A2 - Cavalli, A.

A2 - Budkowski, S.

PB - Institut National des Télécommunications

CY - Evry, France

Y2 - 4 September 1995 through 6 September 1995

ER -