© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Verification techniques for LOTOS: final report
M. Thomas, C. Kirkwood, B. Matthews, and P. Watson
Technical Report FM-1993-8, Department of Computing Science, University of Glasgow, January 1993.Bibtex Record
@techreport{735,
author = {M. Thomas and C. Kirkwood and B. Matthews and P. Watson},
title = {Verification techniques for {LOTOS}: final report},
month = {January},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/735},
institution = {Department of Computing Science, University of Glasgow},
number = {FM-1993-8},
type = {Technical Report},
}