Goal-driven LOTOS execution

E. Brinksma; H. Eertink

Goal-driven LOTOS execution

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	English
Title of host publication	Protocol Specification, Testing and Verification XIII
Subtitle of host publication	Proceedings IFIP TC6/WG6.1 Thirteenth International Symposium, Liège, Belgium, May 25-28, 1993
Publisher	North Holland
Pages	45-60
ISBN (Print)	0-444-81648-8
Publication status	Published - 1993
Event	IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993 - Liege, Belgium Duration: 25 May 1993 → 28 May 1993 Conference number: 13

Publication series

Name	IFIP Transactions Series
Publisher	North-Holland
Number	C-16
ISSN (Print)	0926-549X

Conference

Conference	IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993
Abbreviated title	PSTV 1993
Country/Territory	Belgium
City	Liege
Period	25/05/93 → 28/05/93

Cite this

@inbook{5b65c3ba62d1479fa02e793fef6eceab,

title = "Goal-driven LOTOS execution",

author = "E. Brinksma and H. Eertink",

year = "1993",

language = "English",

isbn = "0-444-81648-8",

series = "IFIP Transactions Series",

publisher = "North Holland",

number = "C-16",

pages = "45--60",

booktitle = "Protocol Specification, Testing and Verification XIII",

address = "Netherlands",

note = "IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993, PSTV 1993 ; Conference date: 25-05-1993 Through 28-05-1993",

}

Brinksma, E & Eertink, H 1993, Goal-driven LOTOS execution. in Protocol Specification, Testing and Verification XIII: Proceedings IFIP TC6/WG6.1 Thirteenth International Symposium, Liège, Belgium, May 25-28, 1993. IFIP Transactions Series, no. C-16, North Holland, pp. 45-60, IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993, Liege, Belgium, 25/05/93.

TY - CHAP

T1 - Goal-driven LOTOS execution

AU - Brinksma, E.

AU - Eertink, H.

N1 - Conference code: 13

PY - 1993

Y1 - 1993

M3 - Chapter

SN - 0-444-81648-8

T3 - IFIP Transactions Series

SP - 45

EP - 60

BT - Protocol Specification, Testing and Verification XIII

PB - North Holland

T2 - IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993

Y2 - 25 May 1993 through 28 May 1993

ER -