© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The plane footprints inspection in computer
Linying Su
Journal of Inner Mongolia University (Edition of Science), 29(3):182-196, March 1999.Bibtex Record
@article{2311,
author = {Linying Su},
title = {The plane footprints inspection in computer},
month = {March},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/2311},
publication_type = {article},
submission_id = {25134_1134052321},
other_year = {1999},
journal = {Journal of Inner Mongolia University (Edition of Science)},
volume = {29},
number = {3},
}