@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",
}