Conference Paper (published)
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.
| Status | Published |
|---|---|
| Title of series | Electronic Workshops in Computing |
| Publication date | 31/12/1997 |
| Publication date online | 31/07/1997 |
| Related URLs | |
| Publisher | Springer |
| Place of publication | Berlin Heidelberg |
| Conference | 2nd BCS-FACS Northern Formal Methods Workshop, eWiC 97 |
| Conference location | Ilkley, UK |
| Dates | – |