Implementing Services by Partial State Machines.
Title | Implementing Services by Partial State Machines. |
Publication Type | Journal Article |
Year of Publication | 2009 |
Authors | Dosch, W, Stümpel, A |
Bibtex:
@article {522, title = {Implementing Services by Partial State Machines.}, year = {2009}, note = {In: M. Nielson, A. Ku?era, P.B. Miltersen, C. Palamidessi, P. T?ma, F. Valencia (eds.): Theory and Practice of Computer Science (SOFSEM 2009). ?pindler?v Ml{\'y}n, Czech Republic, January 24-30, 2009. Lecture Notes in Computer Science 5404. Berlin: Springer 2009, 241-254 [ISBN 3-540-95890-8] [ISSN 0302-9743]}, author = {W. Dosch and A. St{\"u}mpel} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact