© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A comparison of real-time formal specification languages
A.S. Evans, D.R.W. Holton, L.M. Lai, and P. Watson
In D.J. Duke and A.S. Evans, editors, Proceedings of the Northern Formal Methods Workshop, Ilkley, September 1996, Electronic Workshops in Computer Science, pages 182-196, http://ewic.springer.co.uk/, January 1997. Springer Verlag.Bibtex Record
@inproceedings{731, author = {A.S. Evans and D.R.W. Holton and L.M. Lai and P. Watson}, title = {A comparison of real-time formal specification languages}, month = {January}, year = {1997}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1997/731}, address = {http://ewic.springer.co.uk/}, booktitle = {Proceedings of the Northern Formal Methods Workshop, Ilkley, September 1996}, editor = {D.J. Duke and A.S. Evans}, publisher = {Springer Verlag}, refereed = {Yes}, series = {Electronic Workshops in Computer Science}, }