© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Steplib: a spatiotemporal digital library
Claudio de Souza Baptista and Zarine Kemp
Informatica: an International Journal of Computing and Informatics, 24(1):182-196, March 2000.Bibtex Record
@article{906,
author = {Claudio de Souza Baptista and Zarine Kemp},
title = {StepLib: a Spatiotemporal Digital Library},
month = {March},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/906},
ISSN = {03505596},
editor = {Y. Zhang and V. Fomichov and A. Zeleznikar},
journal = {Informatica: an International Journal of Computing and Informatics},
number = {1},
publisher = {Slovene Society Informatika},
volume = {24},
}