Analysing industrial protocols with formal methods
Judi Romijn · 1999
At the end of these four years, I am glad to be able to express my thanks in the document one is supposed to deliver.Even though it is impossible to thank everybody, I make an effort here.The first thanks go to the four captains on