© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Teaching communication protocols
John Derrick and Sally Fincher
Computer Science Education, 10(3):182-196, December 2000.Bibtex Record
@article{1137,
author = {John Derrick and Sally Fincher},
title = {Teaching Communication Protocols},
month = {December},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1137},
ISSN = {0899-3408},
journal = {Computer Science Education},
number = {3},
publication_type = {article},
publisher = {Swets & Zeitlinger},
submission_id = {28940_976638114},
volume = {10},
}