© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Chinese Windows and general applications
Shi Liu, Guanglai Gao, Linying Su, Junyi Wang, Hongxu Hou, and Ping Li
Inner Mongolia University Press, Hohhot, China, January 1997.Bibtex Record
@book{2309,
author = {Shi Liu and Guanglai Gao and Linying Su and Junyi Wang and Hongxu Hou and Ping Li},
title = {Chinese {W}indows and general applications},
month = {January},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/2309},
publication_type = {book},
submission_id = {24781_1134051723},
other_year = {1997},
ISBN = {7-81015-754-X/TP.21},
publisher = {Inner Mongolia University Press},
address = {Hohhot, China},
}