BIBTEX-
Jan Jürjens

---

@inproceedings{psi03J,
       author = {J. {J}{\"{u}}{r}jens},
       editor={M. Broy and A. Zamulin},
       title = {Algebraic State Machines: Concepts and Applications to
Security},
       booktitle={Andrei Ershov 5th International Conference "Perspectives
of System Informatics" (PSI'03)},
       series=lncs,
       publisher=sv,
       OPTvolume={},
       pages={338--343},
       year = {2003},
       url = {http://www.jurjens.de/jan},
}

---

Jan Jürjens