You are here

Home › Research › Publications ›

Formal Specification Scanning Streams using RAISE.

TitleFormal Specification Scanning Streams using RAISE.
Publication TypeJournal Article
Year of Publication2004
AuthorsDosch, W, Riesco, D, Beron, M, Montejano, G
Bibtex: 
@article {614,
	title = {Formal Specification Scanning Streams using RAISE.},
	year = {2004},
	note = {In: M. Khosrow-Pour (ed.): Innovations Through Information Technology, Vol. 2. New Orleans, Louisiana, May 23-26, 2004. London: Idea Group Publishing 2004, 1011-1013 [ISBN 1-59140-261-1]},
	author = {W. Dosch and D. Riesco and M. Beron and G. Montejano}
}