| Original language | Undefined |
|---|---|
| Title of host publication | Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16 |
| Publisher | North Holland |
| Pages | 45-60 |
| ISBN (Print) | 0-444-81648-8 |
| Publication status | Published - 1993 |
Keywords
- METIS-118915
Cite this
Brinksma, H., & Eertink, E. H. (1993). Goal-driven LOTOS execution. In Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16 (pp. 45-60). North Holland.
@inbook{5b65c3ba62d1479fa02e793fef6eceab,
title = "Goal-driven LOTOS execution",
keywords = "METIS-118915",
author = "Hendrik Brinksma and E.H. Eertink",
year = "1993",
language = "Undefined",
isbn = "0-444-81648-8",
pages = "45--60",
booktitle = "Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16",
publisher = "North Holland",
}
Brinksma, H & Eertink, EH 1993, Goal-driven LOTOS execution. in Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16. North Holland, pp. 45-60.
Goal-driven LOTOS execution. / Brinksma, Hendrik; Eertink, E.H.
Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16. North Holland, 1993. p. 45-60.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
TY - CHAP
T1 - Goal-driven LOTOS execution
AU - Brinksma, Hendrik
AU - Eertink, E.H.
PY - 1993
Y1 - 1993
KW - METIS-118915
M3 - Chapter
SN - 0-444-81648-8
SP - 45
EP - 60
BT - Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16
PB - North Holland
ER -
Brinksma H, Eertink EH. Goal-driven LOTOS execution. In Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16. North Holland. 1993. p. 45-60