Conference Paper (published)
Details
Citation
Shankland C (1999) Using E-LOTOS to pick a leader. In: Proceedings of the Workshop on Formal Methods in Computation, Ullapool 1999. Workshop on Formal Methods in Computation, 1999, Ullapool, Scotland, 09.09.1999-11.09.1999. New York: Institute of Electrical and Electronics Engineers, pp. 143-162.
| Status | Published |
|---|---|
| Publication date | 31/12/1999 |
| Publication date online | 31/12/1999 |
| Publisher | Institute of Electrical and Electronics Engineers |
| Place of publication | New York |
| Conference | Workshop on Formal Methods in Computation, 1999 |
| Conference location | Ullapool, Scotland |
| Dates |