Deriving State-based Implementations of Interactive Components with History Abstractions.
Title | Deriving State-based Implementations of Interactive Components with History Abstractions. |
Publication Type | Journal Article |
Year of Publication | 2006 |
Authors | Dosch, W, Stümpel, A |
Bibtex:
@article {563, title = {Deriving State-based Implementations of Interactive Components with History Abstractions.}, year = {2006}, note = {In: I. Virbitskaite, A. Voronkov (eds.): Proceedings of the Sixth International Andrei Ershov Memorial Conference: Perspectives of System Informatics (PSI 2006). Novosibirsk, Russia, June 27-30, 2006. Novosibirsk, Russia: A.P. Ershov Institute of Informatics Systems 2006, 99-109}, author = {W. Dosch and A. St{\"u}mpel} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Martin Blankenburg
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Normann Decker
- Sebastian Hungerecker
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Open Positions
- Contact