Conference Proceeding

Towards a Symbolic Temporal Logic for Full LOTOS

Details

Citation

Shankland C & Thomas M (1997) Towards a Symbolic Temporal Logic for Full LOTOS. In: Duke DJ D & Evans A (eds.) 2nd BCS-FACS Northern Formal Methods Workshop. Electronic Workshops in Computing. 2nd BCS-FACS Northern Formal Methods Workshop, eWiC 97, Ilkley, UK, 14.07.1997-15.07.1997. Berlin Heidelberg: Springer.

StatusPublished
Title of seriesElectronic Workshops in Computing
Publication date31/12/1997
Publication date online31/07/1997
Related URLshttp://ewic.bcs.org/category/17093
PublisherSpringer
Place of publicationBerlin Heidelberg
Conference2nd BCS-FACS Northern Formal Methods Workshop, eWiC 97
Conference locationIlkley, UK
Dates–