Deriving State-Based Implementations of Interactive Components with History Abstractions.

TitleDeriving State-Based Implementations of Interactive Components with History Abstractions.
Publication TypeJournal Article
Year of Publication2007
AuthorsDosch, W, Stümpel, A
Bibtex: 
@article {548,
	title = {Deriving State-Based Implementations of Interactive Components with History Abstractions.},
	year = {2007},
	note = {In: I. Virbitskaite, A. Voronkov (eds.): Perspectives of Systems Informatics (PSI 2006). Novosibirsk, Russia, June 27-30, 2006. Lecture Notes in Computer Science 4378. Berlin: Springer 2007, 180-194 [ISBN 3-540-70880-4] [ISSN 0302-9743]},
	author = {W. Dosch and A. St{\"u}mpel}
}