Conference Proceeding

Using E-LOTOS to pick a leader

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.

StatusPublished
Publication date31/12/1999
Publication date online31/12/1999
PublisherInstitute of Electrical and Electronics Engineers
Place of publicationNew York
ConferenceWorkshop on Formal Methods in Computation, 1999
Conference locationUllapool, Scotland
Dates