© University of Kent - Contact | Feedback | Legal | FOI | Cookies
RIVUS: A stream template language for capturing multimedia requirements
D.L. Lindsey and P.F. Linington
In D.Hutchison, H.Christiansen, G.Coulson, and A.Danthine, editors, Teleservices and Multimedia Communications (Proc. 2nd COST 237 Int. Workshop), volume 1052 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, 1996.Bibtex Record
@inproceedings{1300,
author = {D.L. Lindsey and P.F. Linington},
title = {{RIVUS}: A Stream Template Language for Capturing Multimedia Requirements},
month = {unknown},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/1300},
publication_type = {inproceedings},
submission_id = {12787_1002200997},
other_year = {1996},
ISBN = {3-540-61028-6},
booktitle = {Teleservices and Multimedia Communications (Proc. 2nd COST 237 Int. Workshop)},
editor = {D.Hutchison and H.Christiansen and G.Coulson and A.Danthine},
volume = {1052},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
refereed = {yes},
}